Author:
Said Najah Ben,Abdellatif Takoua,Bensalem Saddek,Bozga Marius
Publisher
Springer International Publishing
Reference29 articles.
1. Lecture Notes in Computer Science;N Ben Said,2014
2. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time systems in BIP. In: Proceedings of the SEFM 2006, pp. 3–12. IEEE Computer Society Press (2006)
3. Bonakdarpour, B., Bozga, M., Jaber, M., Quilbeuf, J., Sifakis, J.: Automated conflict-free distributed implementation of component-based models. In: Proceedings of the SIES 2010, pp. 108–117. IEEE (2010)
4. Bonakdarpour, B., Bozga, M., Jaber, M., Quilbeuf, J., Sifakis, J.: A framework for automated distributed implementation of component-based models. Distrib. Comput. 25(5), 383–409 (2012)
5. Lecture Notes in Computer Science;R Accorsi,2012
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A formal model-based approach to design failure-aware Internet of Things architectures;Journal of Reliable Intelligent Environments;2024-06-20
2. Security and Privacy of Protocols and Software with Formal Methods;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016