Back to INDEX

  Publications of Mickaël Marche  

Conference articles
  1. Mickaël Marche, D. Leroy, and Y.-M. Quemener. Modèle et langage d'observation pour le test d'agents mobiles. In Actes du Congrès AFADL'03, Approches Formelles dans l'Assistance au Développement de Logiciels, Rennes, France, pages 157--171, January 2003. [bibtex]


  2. Mickaël Marche, Y.M. Quemener, and R. Groz. Testing Mobile Agents: SAM, a tool based on a simulation approach. In 14th International Conference on Testing of Communicating Systems (TestCom 2002), IFIP, Berlin, Germany, pages 95--110, March 2002. Kluwer. [bibtex]


  3. Mickaël Marche and Christelle Bergerot. Code mobile : concepts et modèle. In Journées des Jeunes Chercheurs en Système (JCS'2000), Besançon, France, pages 23--28, June 2000. [bibtex]


  4. Mickaël Marche and Y.M. Quemener. Une approche formelle pour le test de conformité de processus mobile. In Douzièmes rencontres Francophones du Parallélisme (RENPAR'12), Besançon, France, pages 197--202, June 2000. [bibtex]


Back to INDEX

Wed May 16 18:07:18 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod
This document was translated from BibTEX by bibtex2html