Author:
Méry Dominique,Singh Neeraj Kumar
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. The International Series in Engineering and Computer Science;D.B. Johnson,1996
2. Project RODIN: Rigorous open development environment for complex systems (2004),
http://rodin-b-sharp.sourceforge.net/
(2004-2007)
3. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
4. Lecture Notes in Computer Science;T.S. Hoang,2009
5. Cansell, D., Méry, D.: The Event-B Modelling Method: Concepts and Case Studies, pp. 33–140. Springer, Heidelberg (2007); See [12]
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献