Author:
Kherroubi Souad,Méry Dominique
Reference38 articles.
1. J-R. Abrial, Modeling in Event-B: System and Software Engineering (Cambridge University Press, Cambridge, 2010)
2. Jean-Raymond Abrial, Dominique Cansell, Dominique Méry, A mechanically proved and incremental development of IEEE 1394 tree identify protocol. Formal Asp. Comput. 14(3), 215–227 (2003)
3. Y. Ait Ameur, D. Méry, Making explicit domain knowledge in formal system development. Sci. Comput. Program. 121(100–127) (2016)
4. M.B. Andriamiarina, Développement d’algorithmes répartis corrects par construction (Université de Lorraine; Loria & Inria Grand Est, Thése, 2015)
5. Patrick Barlatier, Conception et implantation d’un modèle de raisonnement sur les contextes basée sur une théorie des types et utilisant une ontologie de domaine (Université de Savoie, Thése, 2009)