• THESE

Modèles et Algorithmes pour le Test des Systèmes Temps Réel

 
Thèse de : Doctorat en Sciences 
Titre : Modèles et Algorithmes pour le Test des Systèmes Temps Réel 
Auteur : Kitouni Ilham 
Directeurs : Pr. Djamel-Eddine SAIDOUNI 
Editeur : Université Constantine2 - Constantine 
Année de publication : 2013 
Langue de publication : Francais 
Catégorie : 600 - Informatique 
Mots Clés : systèmes temps réel, modélisation des systèmes, automates temporisés, sémantique de maximalité, test basé sur les modèles, test de conformité. 
Mots Clés (Ar) :  
Keywords :  
En ligne : Modèles et Algorithmes pour le Test des Systèmes Temps Réel

Scroll Up