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 : Wednesday, September 21, 2022-3:56:39 AM
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
18
View
0
Download