Scanning the issue - special issue on modeling and design of embedded software
暂无分享，去创建一个
[1] Panos J. Antsaklis,et al. Special issue on hybrid systems: theory and applications a brief introduction to the theory and applications of hybrid systems , 2000, Proc. IEEE.
[2] W. B. Jackson,et al. Constrained optimization based control of real time large-scale systems: airjet object movement system , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).
[3] Thomas A. Henzinger,et al. Compositional Methods for Probabilistic Systems , 2001, CONCUR.
[4] R. H. Bourgonjon. Embedded Systems in Consumer Products , 1996, European Educational Forum: School on Embedded Systems.
[5] David L. Tennenhouse,et al. Proactive computing , 2000, Commun. ACM.