Smart Home Model Verification with AnimUML - Archive ouverte HAL Accéder directement au contenu
Poster De Conférence Année : 2022

Smart Home Model Verification with AnimUML

Fichier non déposé

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⟩
24 Consultations
2 Téléchargements

Partager

Gmail Facebook X LinkedIn More