Toute les actualités
Test formel des systèmes temps réel stochastiques basé sur la sémantique de maximalité
  • Titre : Test formel des systèmes temps réel stochastiques basé sur la sémantique de maximalité
  • Catégorie : 600 - Informatique
  • Type de Thèse : Doctorat LMD
  • Auteur : Bouarroudj Kenza
  • Directeurs : Pr. Saidouni Djamel-Eddine
  • Editeur : Université Constantine2 Abdelhamid Mehri - Constantine
  • Année : 2014
  • Langue de publication : Francais
  • Mots Clés (FR): Test formel, graph de refus, testeur canonique, sémantique de Maximalité, systèmes stochastiques
  • Mots Clés (Ar) : الاختبار المنهجي، بيانات الرفض العشوائي، أنظمة التحولات العشوائية القصوى، خبير موحد.
  • Keywords : Formal testing, Refusal testing, canonical tester, Maximility Semantic, stochastic system
  • En ligne : Cliquer Ici...