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' ![Surligner les mots recherchés Surligner les mots recherchés](./images/text_horizontalrule.png)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer la page de recherche courante...](./images/print.gif)
![Tris disponibles](./images/orderby_az.gif)
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