- 2
- 2
Christophe Dony
4
Documents
Identifiants chercheurs
- christophe-dony
- Google Scholar : https://scholar.google.com/citations?user=_ESTjWEAAAAJ&hl=fr
- IdRef : 048655198
Présentation
Publications
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 4
- 4
- 1
- 1
- 1
- 1
- 1
- 1
A Tooled Approach for Designing Executable and Verifiable Modeling LanguagesINSIGHT - International Council on Systems Engineering (INCOSE), 2015, 18 (4), pp.31-33. ⟨10.1002/inst.12059⟩
Article dans une revue
lirmm-01377586v1
|
|
MBSE and V&V: a tool-equipped method for combining various V&V strategies20th IFAC World Congress, Jul 2017, Toulouse, France. pp.10538-10543, ⟨10.1016/j.ifacol.2017.08.1309⟩
Communication dans un congrès
hal-01930280v1
|
|
Towards Semantical DSMLs for Complex or Cyber-Physical SystemsENASE: Evaluation of Novel Approaches to Software Engineering, Apr 2016, Rome, Italy. pp.115-123, ⟨10.5220/0005768201150123⟩
Communication dans un congrès
lirmm-01377565v1
|
Towards system verification: Adding meaning to modelsCIEL: Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France
Communication dans un congrès
hal-01930467v1
|