Passer au contenu principal
☰
Déplier
Vous êtes connecté anonymement (
Connexion
)
Title
+21333543246
Accueil
Logithèque
Opale
Français (fr)
English (en)
Français (fr)
عربي (ar)
Téchniques et Outils de Vérification
Accueil
Cours
Espace de cours 2018-2020
Faculté des Sciences Exactes,des Sciences de la Nature et de la Vie
Département d'Informatique
Master 1
Génie logicel et Systèmes Distribués
Téchniques et Outils de Vérification
L'outil UPPAAL
Cours TOV-GLSD, Timed Automata, (Vidéo 3: Séance Zoom)
Cours TOV-GLSD, Timed Automata, (Vidéo 3: Séance Zoom)
×
Cette leçon n'est pas encore prête.
Téchniques et Outils de Vérification
Généralités
Technique des Tableaux
L'outil UPPAAL
L'outil SPIN
TPs
Accueil
Calendrier
Obtenir l'app mobile
