Détermination des automates temporisés avec durées d'actions pour le test formel / Ilhem Kitouni  

Public ISBD 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

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
KIT/5323	KIT/5323	Thèse	Bibliothèque principale	Thèses	Disponible

---

1 (1 - 1 / 1)