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


...
hal-02270437v1  Communication dans un congrès
Philippe DhaussyJ.C. RogerH. BonninE SavesJ. Honore et al.  Experimentation of Timed Observers for Avionics Models Validation
Conference ERTS'06, Jan 2006, Toulouse, France
...
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⟩