Author:
Bodeveix Jean-Paul,Boudjadar Abdeldjalil,Filali Mamoun
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Arnold, A.: Finite transition systems: semantics of communicating systems. Prentice Hall International Ltd., Hertfordshire (1994), Translator-Plaice, John
2. Behrmann, G., David, A., Larsen, K.G.: A Tutorial on Uppaal. Department of computer science, Aalborg university (2004)
3. Lecture Notes in Computer Science;J. Bengtsson,2004
4. Lecture Notes in Computer Science;S. Bensalem,2008
5. Berendsen, J., Vaandrager, F.: Compositional Abstraction in Real-Time Model Checking. In: 6th International Conference on Formal Modelling and Analysis of Timed Systems, Saint Malo, France, pp. 233–249 (September 2008)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. How Do Asynchronous Communication Models Impact the Composability of Information Flow Security?;Lecture Notes in Computer Science;2024
2. A Digital Twin Setup for Safety-aware Optimization of a Cyber-physical System;Proceedings of the 19th International Conference on Informatics in Control, Automation and Robotics;2022
3. Formally Verified Credentials Management for Industrial Control Systems;2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE);2021-05
4. A Safety-Driven Cost Optimization for the Real-Time Operation of a Hybrid Energy System;Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020;2021
5. Optimal Energy Resources Scheduling of Hybrid Diesel/Battery Ships in Shallow Waters;Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020;2021