Author:
Tueno Steve,Laleau Régine,Mammar Amel,Frappier Marc
Reference29 articles.
1. J. Abrial, Modeling in Event-B - System and Software Engineering (Cambridge University Press, 2010)
2. Y. Aït Ameur, M. Baron, L. Bellatreche, S. Jean, E. Sardet, Ontologies in engineering: the OntoDB/OntoQL platform. Soft Comput. 21(2), 369–389 (2017)
3. ANR-06-SETIN-017: TACOS ANR project (2006)
4. ANR-14-CE28-0009: Formose ANR project (2014).
http://formose.lacl.fr/
5. Atelier B, The Industrial Tool to Efficiently Deploy the B Method.
http://www.atelierb.eu/index-en.php
(2008). Access date 22.03. 2015
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献