Développements formels d interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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. [doi]

This author has not been identified. Look up 'Yamine Aït Ameur' in GoogleThis author has not been identified. Look up 'Idir Aït-Sadoune' in GoogleThis author has not been identified. Look up 'Mickaël Baron' in GoogleThis author has not been identified. Look up 'Jean-Marc Mota' in Google

runs on WebDSL