• THESE

Vérification comportementale des systèmes temporisés – Approche de maximalité


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

Scroll Up