Une approche de composition des services web basée transformation de graphes
9 avril 2015
Vérification de la compatibilité des services web pour une composition
9 avril 2015
Toute les actualités
Test formel des systèmes temps réel stochastiques basé sur la sémantique de maximalité


Thèse de : Doctorat LMD 
Titre : Test formel des systèmes temps réel stochastiques basé sur la sémantique de maximalité 
Auteur : Bouarroudj Kenza 
Directeurs : Pr. Saidouni Djamel-Eddine 
Editeur : Université Constantine2 Abdelhamid Mehri - Constantine 
Année de publication : 2014 
Langue de publication : Francais 
Catégorie : 600 - Informatique 
Mots Clés : 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 : Test formel des systèmes temps réel stochastiques basé sur la sémantique de maximalité