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 : jeudi 9 novembre 2023-15:16:40
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
24
Consultations
2
Téléchargements