Author:
Hoang Thai Son,Kuruma Hironobu,Basin David,Abrial Jean-Raymond
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Abrial, J.-R.: Modeling in Event-B: System and Software Design. Cambridge University Press, Cambridge (to appear, 2008)
2. Lecture Notes in Computer Science;J.-R. Abrial,2006
3. Abrial, J.-R., Cansell, D., Méry, D.: A mechanically proved and incremental development of IEEE 1394 tree identify protocol. Formal Asp. Comput. 14(3), 215–227 (2003)
4. Abrial, J.-R., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: Application to Event-B. Fundamenta Informaticae, XXI (2006)
5. Back, R.-J., Kurki-Suonio, R.: Decentralization of process nets with centralized control. Distributed Computing 3(2), 73–87 (1989)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Scalable reaction network modeling with automatic validation of consistency in Event-B;Scientific Reports;2022-01-25
2. A refinement-based approach for specifying multi-scale software architectures;Proceedings of the 33rd Annual ACM Symposium on Applied Computing;2018-04-09
3. Formal Specification and Verification of Transmission Control Protocol;Proceedings of the 2nd International Conference on Computing and Wireless Communication Systems - ICCWCS'17;2017
4. Modeling the Internet of Things System Using Complex Adaptive System Concepts;Proceedings of the 2nd International Conference on Computing and Wireless Communication Systems - ICCWCS'17;2017
5. Developing a Consensus Algorithm Using Stepwise Refinement;Formal Methods and Software Engineering;2011