Author:
Benveniste Albert,Caillaud Benoît,Carloni Luca P.,Caspi Paul,Sangiovanni-Vincentelli Alberto L.
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Alur, R., Dang, T., Esposito, J., Hur, Y., Ivancic, F., Kumar, V., Lee, I., Mishra, P., Pappas, G.J., Sokolsky, O.: Hierarchical Modeling and Analysis of Embedded Systems. Proc. of the IEEE 91(1), 11–28 (2003)
2. Alur, R., Dill, D.L.: A Theory of Timed Automata. Theor. Comp. Science 126(2), 183–235 (1994)
3. ARTIST Network of Excellence. Roadmap on Hard Real-Time Development Environments. Available in May (2003), from
http://www.systemescritiques.org/ARTIST/
4. Lecture Notes in Computer Science;A. Benveniste,2001
5. Lecture Notes in Computer Science;A. Benveniste,1999