1 recherche sur le tag 'Langage D-LOTOS'   

Algorithmes de model checker opérant sur les DATA*(Durational Action Timed Automata) / Amel Boumaza  

Public ISBD 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 Informatique Tags : 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 : pdf 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 Informatique Tags : 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 : pdf 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