Conference Papers
Year :
Anne-Flore Jarry : Connect in order to contact the contributor
https://hal.science/hal-03780416
Submitted on : Monday, September 19, 2022-12:17:39 PM
Last modification on : Friday, March 24, 2023-2:53:28 PM
Dates and versions
Identifiers
- HAL Id : hal-03780416 , version 1
Cite
Maxime Mere, Frédéric Jouault, Loic Pallardy, Richard Perdriau. Feedback on the Formal Verification of UML Models in an Industrial Context: The Case of a Smart Device Life Cycle Management System. MODELS 2022, Oct 2022, Montréal, Canada. ⟨hal-03780416⟩
Collections
25
View
0
Download