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