University Sétif 1 FERHAT ABBAS Faculty of Sciences
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'Model-checking Structures de kripke Logique temorelle ltl Automate de buchi'
Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche
Model-cheeking de formules ltl à base d'automates / Merir,Hdjer
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 buchiIndex. 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 buchiIndex. 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