- 2
- 1
Jérôme Delatour
3
Documents
Publications
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 3
- 2
- 1
|
Formal Synthesis of Real-Time System Models in a MDE ApproachIARIA 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 approachThe 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
|
|
|
Formal Behavioral Modeling of Real-Time Operating SystemsThe 14th International Conference on Enterprise Information Systems (ICEIS (2) 2012), Jun 2012, Wroclaw, Poland
Communication dans un congrès
hal-01093794v1
|