 | 2009 |
|---|
| 6 |       | Yamine Aït Ameur,
Mickaël Baron,
Nadjet Kamel,
Jean-Marc Mota:
Encoding a process algebra using the Event B method.
STTT 11(3): 239-253 (2009) |
| 2008 |
|---|
| 5 | | Yamine Aït Ameur,
Idir Aït-Sadoune,
Mickaël Baron,
Jean-Marc Mota:
Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement.
Ingénierie des Systèmes d'Information 13(2): 127-154 (2008) |
| 2007 |
|---|
| 4 | | Jean-Marc Mota,
Catherine Dubois:
Raffinement de modèles topologiques en B événementiel. Des droites aux 2-G-cartes.
Technique et Science Informatiques 26(7): 883-908 (2007) |
| 2006 |
|---|
| 3 | | Yamine Aït Ameur,
Idir Aït-Sadoune,
Jean-Marc Mota,
Mickaël Baron:
Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve.
IHM 2006: 123-130 |
| 2 |  | Catherine Dubois,
Jean-Marc Mota:
A Formally Verified Geometric Modelling Core.
Software Engineering Research and Practice 2006: 643-649 |
| 2002 |
|---|
| 1 | | Franck Ledoux,
Jean-Marc Mota,
Agnès Arnould,
Catherine Dubois,
Pascale Le Gall,
Yves Bertrand:
Spécifications formelles du chanfreinage.
Technique et Science Informatiques 21(8): 1073-1098 (2002) |
