- 1
Frédéric Jouault
1
Documents
Identifiants chercheurs
- frederic-jouault
- IdRef : 110218140
- 0000-0002-2395-9623
- Google Scholar : https://scholar.google.fr/citations?user=BqfL80YAAAAJ
Présentation
Publications
- 1
- 1
- 1
Feedback on the Formal Verification of UML Models in an Industrial Context: The Case of a Smart Device Life Cycle Management SystemMODELS 2022, Oct 2022, Montréal, Canada
Communication dans un congrès
hal-03780416v1
|