Model-cheeking de formules ltl à base d'automates / Merir,Hdjer

Public ISBD 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

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
MAI/0252	MAI/0252	Mémoire	Bibliothéque des sciences	Français	Disponible Disponible

---

1 (1 - 1 / 1)