Author:
Mediouni Braham Lotfi,Dragomir Iulia,Nouri Ayoub,Bensalem Saddek
Publisher
Springer International Publishing
Reference29 articles.
1. ESROCOS Planetary Exploration Demonstrator. https://github.com/ESROCOS/plex-demonstrator-record
2. ESROCOS Project Github Repository. https://github.com/ESROCOS
3. Alur, R., Henzinger, T.: Real-time logics: complexity and expressiveness. Inf. Comput. 104(1), 35–77 (1993)
4. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
5. Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). The MIT Press, Cambridge (2008)