Decomposition Structures for Event-B-Reference-Cited by-同舟云学术

Decomposition Structures for Event-B

Published:2009 Issue: Volume: Page:20-38
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Butler Michael

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-00255-7_2

Reference11 articles.

1. Abrial, J.-R.: The B-Book: Assigning programs to meanings. Cambridge University Press, Cambridge (1996)

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

3. Back, R.-J.: Refinement diagrams. In: Morris, J.M., Shaw, R.C. (eds.) Proceedings of the 4th Refinement Workshop, Cambridge, UK, Jan 1991, pp. 125–137. Springer, Heidelberg (1991)

4. Ball, E.: An Incremental Process for the Development of Multi-agent Systems in Event-B, PhD thesis, University of Southampton (August 2008), http://eprints.ecs.soton.ac.uk/16575/

5. Butler, M.: Incremental design of distributed systems with Event-B. Marktoberdorf Summer School 2008 Lecture Notes (November 2008)

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

1. An Event-B Formal Model of a Traffic Light System In Sunway Smart City;2023 IEEE International Conference on Automatic Control and Intelligent Systems (I2CACIS);2023-06-17

2. Validation by Abstraction and Refinement;Rigorous State-Based Methods;2023

3. Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications;Lecture Notes in Computer Science;2023

4. Formal Verification Techniques: A Comparative Analysis for Critical System Design;Intelligent Systems Design and Applications;2022

5. Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications;Theoretical Aspects of Software Engineering;2022