Feedback on the Formal Verification of UML Models in an Industrial Context: The Case of a Smart Device Life Cycle Management System - Archive ouverte HAL Access content directly
Conference Papers Year :

Feedback on the Formal Verification of UML Models in an Industrial Context: The Case of a Smart Device Life Cycle Management System

(1, 2, 3) , (2) , (3) , (1, 4)
1
2
3
4
Not file

Dates and versions

hal-03780416 , version 1 (19-09-2022)

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⟩
18 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More