Towards validated real-time software
暂无分享,去创建一个
Valérie Bertin | Michel Poize | Jacques Pulou | Joseph Sifakis | J. Sifakis | V. Bertin | J. Pulou | M. Poize
[1] Albert Benveniste,et al. The synchronous approach to reactive and real-time systems , 1991 .
[2] Gérard Berry,et al. The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..
[3] Sergio Yovine,et al. Model Checking Timed Automata , 1996, European Educational Forum: School on Embedded Systems.
[4] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[5] Thomas A. Henzinger,et al. HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.
[6] Thomas Haug,et al. The GSM System for Mobile Communications , 1992 .
[7] James W. Layland,et al. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.