Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Abadi, M., Lamport, L.: Composing specifications. ACM Trans. Program. Lang. Syst. 15(1), 73–132 (1993)
2. Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
3. Lecture Notes in Computer Science;J.R. Abrial,2006
4. Lecture Notes in Computer Science;J.-R. Abrial,2002
5. Abrial, J.-R., Hallerstede, S.: Refinement, decomposition and instantiation of discrete models: Application to Event-B. Fundamenta Informaticae 77(1-2) (2007)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B;Lecture Notes in Computer Science;2018
2. Specification Clones: An Empirical Study of the Structure of Event-B Specifications;Software Engineering and Formal Methods;2017
3. On Component-Based Reuse for Event-B;Lecture Notes in Computer Science;2016
4. A reactive architecture for cloud-based system engineering;Proceedings of the 2015 International Conference on Software and System Process;2015-08-24
5. Model Learning and Test Generation for Event-B Decomposition;Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change;2012