Author:
Triki Ahlem,Bonakdarpour Borzoo,Combaz Jacques,Bensalem Saddek
Publisher
Springer International Publishing
Reference16 articles.
1. Abdellatif, T., Combaz, J., Sifakis, J.: Model-based implementation of real-time applications. In: ACM International Conference on Embedded Software (EMSOFT), pp. 229–238 (2010)
2. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)
3. Lecture Notes in Computer Science;T Amnell,2002
4. Lecture Notes in Computer Science;A Basu,2008
5. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: Software Engineering and Formal Methods (SEFM), pp. 3–12 (2006)