A Computational Model for Complex Systems of Embedded Systems
暂无分享,去创建一个
[1] Mahesh Viswanathan,et al. Runtime Assurance Based On Formal Specifications , 1999, PDPTA.
[2] Acm Sigsoft. Proceedings of the 23rd International Conference on Software Engineering, May 12-19, 2001, Toronto, Ontario, Canada , 2001 .
[3] Mark W. Maier,et al. Architecting Principles for Systems‐of‐Systems , 1996 .
[4] Luqi,et al. A Prototyping Language for Real-Time Software , 1988, IEEE Trans. Software Eng..
[5] Titos Saridakis. Robust Development of Dependable Software Systems , 1998 .
[6] Insup Lee,et al. Automatic Test Generation From Statecharts Using Model Checking , 2001 .
[7] Henny B. Sipma,et al. Deductive verification of real-time systems using STeP , 1997, Theor. Comput. Sci..
[8] Manfred Broy. Specification and modeling: an academic perspective , 2001, ICSE.
[9] Kang G. Shin,et al. An architecture for embedded software integration using reusable components , 2000, CASES '00.
[10] Duncan Clarke,et al. Automatic test generation for the analysis of a real-time system: Case study , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.