Author:
Lahouij Aida,Hamel Lazhar,Graiet Mohamed
Publisher
Springer International Publishing
Reference29 articles.
1. Event-B and the Rodin platform.
http://www.event-b.org/
2. Abdelsadiq, A., Molina-Jimenez, C., Shrivastava, S.: A high-level model-checking tool for verifying service agreements. In: Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE), pp. 297–304, December 2011
3. Lecture Notes in Computer Science;JR Abrial,1988
4. Abrial, J.R.: Faultless systems: yes we can! Computer 42(9), 30–36 (2009)
5. Abrial, J.: The B-Book - Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献