Publisher
Springer Nature Singapore
Reference22 articles.
1. Yang F (2013) A simulation framework for the validation of Event-B specifications. Université de Lorraine, Theses
2. Neeraj Kumar Singh (2013) Using Event-B for critical device software systems. Springer, London
3. Abrial J-R (2010) Modeling in Event-B: system and software engineering, 1st edn. Cambridge University Press, Cambridge, New York
4. Karmakar R, Biman Sarkar B, Chaki N (2019) System modeling using Event-B: an insight. SSRN Scholarly Paper ID 3511455, Social Science Research Network, Rochester, NY
5. Robinson K (2012) System modelling & design using Event-B. The University of New South Wales, School of Computer Science and Engineering
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献