001016301
100  $a20120430                 y50      
101  $afre
2001 $aSystèmes temporisés, Spécifications et vérifications : Optimisation du coût de la vérification$bressource électronique
210  $aUniversité d'Oran1 - Ahmed Ben Bella : Département d'Informatique$cUniversité d'Oran1 - Ahmed Ben Bella$d2008
215  $a111F.$d31 cm
328 1$bMagister$cInformatique$eDépartement d'Informatique , Université d'Oran1 - Ahmed Ben Bella$d2008
330  $aOn propose de  spécifier et vérifier  les systèmes distribués temporels. Pour ceci on étudie deux  formalismes: les automates temporisés et l'algebre  des procesus ATP.Sachant que l'on peut  translater une expression ATP en ATP en graphe temporisé.
337  $aANNEXE 92-111F.BIBLIOG.RESUME ET MOTS CLES.
610  $aSystèmes temporisés
610  $a Automates temporisés
610  $a Algèbre de processus
610  $a ATP
610  $a  Logique temporelle
610  $a TCTL
610  $a Model-checking
610  $a Systèmes de transitions étiquetés
610  $aACP
610  $a Processus
610  $a Temps réel
610  $a Systèmes distribués.
700  $aKLOUCHE-DJEDID, afaf
701  $aArray
801 0$aDZ$bCERIST PNST
901$ac
990  $aTH2691