Titre :	Modèles de temps et leur intér¼t à la vérification formelle des systèmes temps-réel
Type de document :	texte imprimé
Auteurs :	Nabil Belala ; Djamel-Eddine Saidouni, Directeur de thèse ; Univ. de Constantine, Éditeur scientifique
Année de publication :	2010
Importance :	115 f.
Note générale :	01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD
Langues :	Français (fre)
Catégories :	Français - Anglais Informatique
Tags :	Systèmes temps-réel  Vérification formelle  Réseaux de Petri  Sémantique de maximalité  LOTOS  Spécificationformelle
Index. décimale :	004 Traitement de données. Informatique
En ligne :	../theses/informatique/BEL5849.pdf
Permalink :	index.php?lvl=notice_display&id=4595

Modèles de temps et leur intér¼t à la vérification formelle des systèmes temps-réel [texte imprimé] / Nabil Belala ; Djamel-Eddine Saidouni, Directeur de thèse ; Univ. de Constantine, Éditeur scientifique . - 2010 . - 115 f.
01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD
Langues : Français (fre)

Catégories :	Français - Anglais Informatique
Tags :	Systèmes temps-réel  Vérification formelle  Réseaux de Petri  Sémantique de maximalité  LOTOS  Spécificationformelle
Index. décimale :	004 Traitement de données. Informatique
En ligne :	../theses/informatique/BEL5849.pdf
Permalink :	index.php?lvl=notice_display&id=4595