Titre :	Détermination des automates temporisés avec durées d'actions pour le test formel
Auteurs :	Ilhem Kitouni ; Univ. de Constantine, Éditeur scientifique ; Djamel-Eddine Saidouni, Directeur de thèse
Année de publication :	2008
Importance :	84 f.
Note générale :	01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C. 01 CD
Catégories :	Français - Anglais Informatique
Tags :	Automates temporisés  Actions  Test formel
Index. décimale :	004 Traitement de données. Informatique
En ligne :	../theses/informatique/KIT5323.pdf
Permalink :	index.php?lvl=notice_display&id=281

Détermination des automates temporisés avec durées d'actions pour le test formel [] / Ilhem Kitouni ; Univ. de Constantine, Éditeur scientifique ; Djamel-Eddine Saidouni, Directeur de thèse . - 2008 . - 84 f.
01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C. 01 CD

Catégories :	Français - Anglais Informatique
Tags :	Automates temporisés  Actions  Test formel
Index. décimale :	004 Traitement de données. Informatique
En ligne :	../theses/informatique/KIT5323.pdf
Permalink :	index.php?lvl=notice_display&id=281