University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'auteur
Auteur wissem Bensadallah |
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Affiner la recherche
Titre : Model-checking via le web Type de document : texte imprimé Auteurs : wissem Bensadallah, Auteur ; samiha Bouregaa, Auteur ; A Bouamari, Directeur de thèse Année de publication : 2022 Importance : 1 vol (50 f .) Format : 29cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Informatique Index. décimale : 004 Informatique Résumé :
La vérification des systèmes hiérarchiques par Model-Checking est souvent difficile et nécessite une adaptation des structures ou des algorithmes traditionnels. Ce mémoire propose une solution basée sur l’utilisation des possibilités du web et des systèmes de gestion de bases de données pour l'optimisation de la procédure de vérification par model-checking CTL des systèmes hiérarchiques et l’implémentation de la solution logicielle en utilisant l’algorithme de marquage.Côte titre : MAI/0624 En ligne : https://drive.google.com/file/d/1YL6JtGexn3ReoD8sZGHU-v0luGmsP-wi/view?usp=share [...] Format de la ressource électronique : Model-checking via le web [texte imprimé] / wissem Bensadallah, Auteur ; samiha Bouregaa, Auteur ; A Bouamari, Directeur de thèse . - 2022 . - 1 vol (50 f .) ; 29cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Informatique Index. décimale : 004 Informatique Résumé :
La vérification des systèmes hiérarchiques par Model-Checking est souvent difficile et nécessite une adaptation des structures ou des algorithmes traditionnels. Ce mémoire propose une solution basée sur l’utilisation des possibilités du web et des systèmes de gestion de bases de données pour l'optimisation de la procédure de vérification par model-checking CTL des systèmes hiérarchiques et l’implémentation de la solution logicielle en utilisant l’algorithme de marquage.Côte titre : MAI/0624 En ligne : https://drive.google.com/file/d/1YL6JtGexn3ReoD8sZGHU-v0luGmsP-wi/view?usp=share [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0624 MAI/0624 Mémoire Bibliothéque des sciences Français Disponible
Disponible