Communication Dans Un Congrès
Année : 2022
Anne-Flore Jarry : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03780416
Soumis le : lundi 19 septembre 2022-12:17:39
Dernière modification le : jeudi 13 avril 2023-13:30:07
Dates et versions
Identifiants
- HAL Id : hal-03780416 , version 1
Citer
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
36
Consultations
0
Téléchargements