Information
Thesis supervisor :
Start year :
End 2021
University :
Université Constantine 2
Viva defense
Viva defense date :
11 March 2021
Details
Titre :
UML et Model-Checking pour la Modélisation et la Vérification des Systèmes Embarqués