Résultat de la recherche
1 recherche sur le tag
'Langage D-LOTOS' 




Titre : Algorithmes de model checker opérant sur les DATA*(Durational Action Timed Automata) Type de document : texte imprimé Auteurs : Amel Boumaza, Auteur ; Djamel-Eddine Saidouni, Directeur de thèse Editeur : Constantine : Université Mentouri Constantine Année de publication : 2010 Importance : 88 f. Format : 31 cm Note générale : Magister
2 copies imprimées disponibles
Langues : Français (fre) Catégories : Français - Anglais
InformatiqueTags : Systèmes temps-réel Durées d'actions Véri cation formelle Langage D-LOTOS Modèle des DATA*'s Modèle checking Graphes de régions. Informatique Index. décimale : 004 Traitement de données. Informatique Diplôme : Magistère En ligne : ../theses/informatique/BOU5915.pdf Format de la ressource électronique : Permalink : index.php?lvl=notice_display&id=5713 Algorithmes de model checker opérant sur les DATA*(Durational Action Timed Automata) [texte imprimé] / Amel Boumaza, Auteur ; Djamel-Eddine Saidouni, Directeur de thèse . - Constantine : Université Mentouri Constantine, 2010 . - 88 f. ; 31 cm.
Magister
2 copies imprimées disponibles
Langues : Français (fre)
Catégories : Français - Anglais
InformatiqueTags : Systèmes temps-réel Durées d'actions Véri cation formelle Langage D-LOTOS Modèle des DATA*'s Modèle checking Graphes de régions. Informatique Index. décimale : 004 Traitement de données. Informatique Diplôme : Magistère En ligne : ../theses/informatique/BOU5915.pdf Format de la ressource électronique : Permalink : index.php?lvl=notice_display&id=5713 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité BOU/5915 BOU/5915 Thèse Bibliothèque principale Thèses Disponible