Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach-Reference-Cited by-同舟云学术

Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach

Published:2014 Issue: Volume: Page:573-587
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
language:
Short-container-title:

Author:

Attiogbé Christian

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-45231-8_48

Reference10 articles.

1. Abadi, M., Lamport, L.: Conjoining Specifications. ACM Trans. Program. Lang. Syst. 17(3), 507–535 (1995)

2. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press (2010)

3. Attiogbé, C.: Event-Based Approach to Modeling Dynamic Architecture: Application to Mobile Adhoc Network. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol. 17, pp. 769–781. Springer, Heidelberg (2008)

4. Boulanger, F., Jacquet, C., Hardebolle, C., Dogui, A.: Heterogeneous model composition in modhel’x: the power window case study. In: Proceedings of Gemoc 2013, Workshop on the Globalization of Modeling Languages, Miami, Florida, USA, 10 pages (September 2013)

5. Lamport, L.: The implementation of reliable distributed multiprocess systems. Computer Networks 2, 95–114 (1978)

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016

2. Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction;Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications;2014