Toute les actualités
Vérification comportementale des systèmes temporisés – Approche de maximalité
  • Titre : Vérification comportementale des systèmes temporisés - Approche de maximalité
  • Catégorie : 600 - Informatique
  • Type de Thèse : Doctorat en Sciences
  • Auteur : BENAMIRA Adel
  • Directeurs : Pr. SAIDOUNI Djamel-Eddine - Univeristé Constantine2
  • Editeur : Université Constantine2 - Constantine
  • Année : 2013
  • Langue de publication : Francais
  • Mots Clés (FR): V´erification formelle, ST-bisimulation, s´emantique de maximalit´e, la bisimulation maximale, ´equivalence de performance, RCPP
  • Mots Clés (Ar) :
  • Keywords :
  • En ligne : Cliquer Ici...