Yamine Aït Ameur (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

52 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)

44 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)

38 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

Selection of 3 from 79 records - Yamine Aït Ameur has 61 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

52		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)
44		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)
38		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