Model Integrated Computing in the Large
暂无分享,去创建一个
A. Ledeczi | G. Balogh | Z. Molnar | P. Volgyesi | M. Maroti
[1] Amit Misra,et al. Model-integrated toolset for fault detection, isolation and recovery (FDIR) , 1996, Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems.
[2] Gabor Karsai,et al. Composing Domain-Specific Design Environments , 2001, Computer.
[3] Janos Sztipanovits,et al. Multi-domain surety modeling and analysis for high assurance systems , 1999, Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems.
[4] Sandeep Neema,et al. Modeling methodology for integrated simulation of embedded systems , 2003, TOMC.
[5] Gabor Karsai,et al. Model-integrated development of embedded software , 2003, Proc. IEEE.
[6] Gabor Karsai,et al. A modeling language and its supporting tools for avionics systems , 2002, Proceedings. The 21st Digital Avionics Systems Conference.
[7] E. Long,et al. Increasing Productivity at Saturn , 1998, Computer.
[8] Douglas C. Schmidt,et al. The design and performance of a real-time CORBA event service , 1997, OOPSLA '97.