Détail de l'auteur
Documents disponibles écrits par cet auteur (2)
Suggerer acquisition Affiner la recherche
Monographie imprimée
OMAR MUSTAPHA GOUACEM, Auteur ; Mohamed Salah Guedjiba, Auteur ; Nadia Ben Seghier, Directeur de thèse | Biskra [Algérie] : Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Université Mohamed Khider | 2015Monographie imprimée
Mohamed Salah Guedjiba, Auteur ; Zohra Hamidi, Directeur de thèse | Biskra [Algérie] : Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Université Mohamed Khider | 2017Model checking est une méthode de vérification formelle automatique. Le système étudié est décrit sous forme de modèle à états-transitions qui représente sa spécification. A partir de ce premier modèle est généré un second modèle qui est une i[...]
