Titre :	Model-cheeking de formules ltl à base d'automates
Type de document :	texte imprimé
Auteurs :	Merir,Hdjer, Auteur ; Bouamari,Abdelkader, Directeur de thèse
Editeur :	Setif:UFA
Année de publication :	2018
Importance :	1 vol (44 f .)
Format :	29 cm
Langues :	Français (fre) Langues originales : Français (fre)
Catégories :	Thèses & Mémoires:Informatique
Mots-clés :	Model-checking Structures de kripke Logique temorelle ltl Automate de buchi
Index. décimale :	004 Informatique
Note de contenu :	Sommaire Table des figures Introduction générale Versification des logiciels Model-checking Model- checking ltl Implémentation d'un model checking ltl Conclusion générale
Côte titre :	MAI/0252

Model-cheeking de formules ltl à base d'automates [texte imprimé] / Merir,Hdjer, Auteur ; Bouamari,Abdelkader, Directeur de thèse . - [S.l.] : Setif:UFA, 2018 . - 1 vol (44 f .) ; 29 cm.
Langues : Français (fre) Langues originales : Français (fre)

Catégories :	Thèses & Mémoires:Informatique
Mots-clés :	Model-checking Structures de kripke Logique temorelle ltl Automate de buchi
Index. décimale :	004 Informatique
Note de contenu :	Sommaire Table des figures Introduction générale Versification des logiciels Model-checking Model- checking ltl Implémentation d'un model checking ltl Conclusion générale
Côte titre :	MAI/0252