Titre :	Etude de la complexité de modèles de spécification et de méthodes de vérification des systèmes complexes
Auteurs :	Mokdad Arous ; Univ. de Constantine, Éditeur scientifique ; D.E. Saidouni, Directeur de thèse
Année de publication :	2007
Importance :	91 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 :	Théorie de la complexité computationnelle  modèles de machine  Classe de complexité  Graphe de pas maximaux
Index. décimale :	004 Traitement de données. Informatique
En ligne :	../theses/informatique/ARO4858.pdf
Permalink :	index.php?lvl=notice_display&id=267

Etude de la complexité de modèles de spécification et de méthodes de vérification des systèmes complexes [] / Mokdad Arous ; Univ. de Constantine, Éditeur scientifique ; D.E. Saidouni, Directeur de thèse . - 2007 . - 91 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 :	Théorie de la complexité computationnelle  modèles de machine  Classe de complexité  Graphe de pas maximaux
Index. décimale :	004 Traitement de données. Informatique
En ligne :	../theses/informatique/ARO4858.pdf
Permalink :	index.php?lvl=notice_display&id=267