Un Cadre Formel pour La Modélisation et L’analyse Des Agents Mobiles
4 juin 2014
Combinaison de classifieurs pour la reconnaissance de mots arabes manuscrits
4 juin 2014
Toute les actualités
Test formel des systèmes temps réel – Approche de transformation de graphes


Thèse de : Doctorat LMD 
Titre : Test formel des systèmes temps réel - Approche de transformation de graphes 
Auteur : HACHICHI Hiba 
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 : Approche formelle de test, Transformation de graphes, DATA*, DATA, Automate des régions, AToM3. 
Mots Clés (Ar) : الاختبار المنهجي،التحويل البياني،بيان المناطق 
Keywords : Formal testing, Graph transformation, DATA*, DATA, Region automata, AToM3. 
En ligne : Test formel des systèmes temps réel - Approche de transformation de graphes