Optimisation d’énergie dans les algorithmes de routage pour réseaux mobile
4 juin 2014
Test formel des systèmes temps réel – Approche de transformation de graphes
4 juin 2014
Toute les actualités
Un Cadre Formel pour La Modélisation et L’analyse Des Agents Mobiles


Thèse de : Doctorat en Sciences 
Titre : Un Cadre Formel pour La Modélisation et L’analyse Des Agents Mobiles 
Auteur : DEHIMI NARDJESS TISSILIA 
Directeurs : Pr Chaoui Allaoua - Univeristé Constantine2 
Editeur : Université Constantine2 - Constantine 
Année de publication : 2013 
Langue de publication : Francais 
Catégorie : 600 - Informatique 
Mots Clés : Agent Mobile, Labeled Reconfigurable Nets, MDA, Grammaires de Graphe, R-Maude, outil ATOM3 
Mots Clés (Ar) : وكيل محمول، LRN ، MDA ، قواعد الرسم البياني، Maude – R، أداة ATOM3 . 
Keywords : Mobile Agent, Labeled Reconfigurable Nets, MDA, Graph Grammars, R-Maude, ATOM3 tool 
En ligne : Un Cadre Formel pour La Modélisation et L’analyse Des Agents Mobiles