Toute les actualités
Modèles et Algorithmes pour le Test des Systèmes Temps Réel
  • Titre : Modèles et Algorithmes pour le Test des Systèmes Temps Réel
  • Catégorie : 600 - Informatique
  • Type de Thèse : Doctorat en Sciences
  • Auteur : Kitouni Ilham
  • Directeurs : Pr. Djamel-Eddine SAIDOUNI
  • Editeur : Université Constantine2 - Constantine
  • Année : 2013
  • Langue de publication : Francais
  • Mots Clés (FR): 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 : Cliquer Ici...