Accéder directement au contenu

Jérôme Delatour

3
Documents

Publications

olivier-roux
Image document

Formal Synthesis of Real-Time System Models in a MDE Approach

 Cédrick Lelionnais , Jérôme Delatour , Matthias Brun , Olivier Henri Roux , Charlotte Seidner
IARIA Journals, 2014, International Journal on Advances in Systems and Measurements, 7 (1&2), pp.115-128
Article dans une revue hal-01093769v1

Formal composition based on roles within a model driven engineering approach

 Cedrick Lelionnais , Matthias Brun , Jérôme Delatour , Olivier Henri Roux , Charlotte Seidner
The 5th International Conference on Advances in System Testing and Validation Lifecycle (VALID 2013), Nov 2013, Venice, Italy. pp.27-32
Communication dans un congrès hal-00941024v1
Image document

Formal Behavioral Modeling of Real-Time Operating Systems

 Cédrick Lelionnais , Matthias Brun , Jérôme Delatour , Olivier Henri Roux , Charlotte Seidner
The 14th International Conference on Enterprise Information Systems (ICEIS (2) 2012), Jun 2012, Wroclaw, Poland
Communication dans un congrès hal-01093794v1