Author:
Siala Badr,Bodeveix Jean-Paul,Filali Mamoun,Bhiri Mohamed Tahar
Reference33 articles.
1. Java 10, today!
http://www.eclipse.org/xtend/
. Accessed 16 Jan 2006
2. Language engineering for everyone!
https://eclipse.org/Xtext
. Accessed 16 Jan 2006
3. J. Abrial, M.J. Butler, S. Hallerstede, T.S. Hoang, F. Mehta, L. Voisin, Rodin: an open toolset for modelling and reasoning in Event-B. STTT 12(6), 447–466 (2010)
4. J. Abrial, D. Cansell, D. Méry, A mechanically proved and incremental development of IEEE 1394 tree identify protocol. Formal Asp. Comput. 14(3), 215–227 (2003)
5. J.-R. Abrial, Modeling in Event-B: System and Software Engineering, 1st edn. (Cambridge University Press, New York, 2010)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献