Dominique Méry

Dominique Méry

Université de Lorraine - Nancy / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 1706355
University of Lorraine
person_outline Dominique Méry's MOST POPULAR ARTICLES
1-) Automatic code generation from Event-B models Proceedings of the 2nd Symposium on Information and Communication Technology …, 2011
2-) Time constraint patterns for event B development International Conference of B Users, 140-154, 2007
3-) Foundations of the B method Computing and informatics 22 (3-4), 221-256, 2003
4-) The event-b modelling method: Concepts and case studies Logics of Specification Languages, 47-152, 2008
5-) The event-b modelling method: Concepts and case studiesD Cansell, D MéryLogics of Specification Languages, 47-152, 2008972008