|
||
---|---|---|
hal-00470523v1
Communication dans un congrès
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation Model Driven Engineering Languages and Systems (Models'09), Oct 2009, Denver, United States. pp.438-452, ⟨10.1007/978-3-642-04425-0⟩ |
||
inria-00538455v1
Article dans une revue
Model-driven Architecture of a Maritime Surveillance System Simulator Systems Engineering, Wiley, 2010, 13 (3), pp.290-297. ⟨10.1002/sys.20149⟩ |
||
|