|
||
---|---|---|
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⟩ |
||
hal-02900815v1
Communication dans un congrès
The LoCoSS project of GIS ITS Bretagne : status and perspectives ITST 2007 : 7th International Conference on ITS Telecommunications, Jun 2007, Sophia Antipolis, France. pp.1 - 6, ⟨10.1109/ITST.2007.4295876⟩ ![]() |
||
|