Poster De Conférence
Année : 2022
Anne-Flore Jarry : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04234889
Soumis le : mardi 10 octobre 2023-11:22:22
Dernière modification le : mardi 27 août 2024-12:55:41
Dates et versions
Identifiants
- HAL Id : hal-04234889 , version 1
Citer
Frédéric Jouault, Ciprian Teodorov, Matthias Brun. Smart Home Model Verification with AnimUML. STAF/MeSS, Jul 2022, Nantes, France. ⟨hal-04234889⟩
Collections
65
Consultations
2
Téléchargements