Filter your results
- 4
- 2
- 1
- 1
- 4
- 3
- 1
- 3
- 1
- 4
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
State of the Art on Formal Methods for Interactive SystemsWeyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction., 1, Springer International Publishing, pp.3--55, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_1⟩
Book sections
hal-03120285v1
|
||
Preface to the 2nd International Workshop on Model Driven Engineering Tools, Copenhagen, Denmark, 15/10/2018 - 15/10/20182nd International Workshop on Model Driven Engineering Tools (MDETools 2018), Oct 2018, Copenhagen, Denmark. 2245, CEUR-WS.org, pp.303-304, 2018, MODELS-WS 2018 ; MODELS 2018 Workshops
Proceedings
hal-03044237v1
|
|||
Preface to the 15th Model Driven Engineering, Verification and Validation. Integrating Verification and Validation in MDE (MoDeVVa 2018, Copenhagen, Denmark)15th Workshop Model Driven Engineering, Verification and Validation. Integrating Verification and Validation in MDE - MoDeVVa 2018, Oct 2018, 2245, CEUR-WS.org, pp.553-554, 2018, Proceedings of MODELS 2018 Workshops, ISSN: 1613-0073
Proceedings
hal-03023414v1
|
|||
Enhancing Robot Model Validation with Outdoor Environment Information (CIEL 2018)CIEL 2018 : 7ème Conférence en IngénieriE du Logiciel, Université Grenoble Alpes, Grenoble, France, Jun 2018, Grenoble, France
Conference papers
hal-03023434v1
|