Accéder directement au contenu Accéder directement à la navigation


...
hal-00470523v1  Communication dans un congrès
Philippe DhaussyPierre-Yves PillainStephen CreffAmine RajiYves Le Traon et al.  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
Fabrice CombletFrançois PeyretCyril RayJean-Marie BonninYvon Le Roux. 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⟩