Author:
Aït-Ameur Yamine,Ait-Sadoune Idir,Casteran P.,Gibson Paul,Hacid K.,Kherroubi S.,Méry Dominique,Mohand-Oussaid L.,Singh Neeraj K.,Voisin Laurent
Publisher
Springer International Publishing
Reference17 articles.
1. Abrial, J.R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press, Cambridge (2010)
2. Lecture Notes in Computer Science;Y Ait-Ameur,2014
3. Aït Ameur, Y., Méry, D.: Making explicit domain knowledge in formal system development. Sci. Comput. Program. 121, 100–127 (2016)
4. Bechhofer, S., Van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D., Patel-Schneider, P., Stein, L., et al.: OWL Web Ontology Language Reference. W3C Recommendation (2004)
5. Bjørner, D.: Manifest domains: analysis and description. Form. Asp. Comput. 29(2), 175–225 (2017)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献