|
 
|
Jean-Marc Mota
|
Doctorant(e) Equipe SYS Parti depuis le 08/07/2005 Mail : jmmota  lami.univ-evry.fr
Tel : 0549498066 Fax : 0549498064 http://www.lami.univ-evry.fr/~jmmota Directeur de thèse : Catherine Dubois |
Jean-Marc's Tag-Cloud : |
Publications
2006
- [DM06] C. Dubois, J. Mota. "A formally verified geometric modelling core", SERP'06 - Int. Conf. on Software Engineering Research and Practice, Las Vegas, USA,, January 2006, pp.643-649, Series CSREA Press,
- [MD06] J. Mota, C. Dubois. "Raffinement de données en B événementiel pour les algorithmes géométriques", AFADL'06 - Approches Formelles dans l'Assistance au Développement de Logiciels, Paris, France. 200, January 2006,
Conférence Internationale avec comité de lecture
Conférence Nationale avec comité de lecture
2002
- [LMA02] F. Ledoux, J. Mota, A. Arnoult, C. Dubois, P. Le Gall, Y. Bertrand. "Spécifications formelles du chanfreinage", TSI, Technique et Science Informatiques, vol. 21(8), 2002
Revue Nationale avec comité de lecture
2001
- [LMA01] F. Ledoux, J. Mota, A. Arnould, C. Dubois, P. Le Gall, Y. Bertrand. "Spécifications formelles du chanfreinage", AFADL2001, January 2001,
