OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Aït-Ameur, Yamine"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Conference or Workshop Item

Ge, Ning and Dieumegard, Arnaud and Jenn, Eric and D'Ausbourg, Bruno and Aït-Ameur, Yamine. Formal development process of safety critical embedded human machine interface systems. (2018) In: TASE (11th International Symposium on Theoretical Aspects of Software Engineering), 13 September 2017 - 15 September 2017, Sophia Antipolis (France) (Sophia Antipolis, France).

Singh, Neeraj Kumar and Aït-Ameur, Yamine and Pantel, Marc and Dieumegard, Arnaud and Jenn, Eric. Stepwise formal modeling and verification of Self-Adaptive systems with Event-B. The automatic rover protection case study. (2017) In: ICECCS 2016 (21th International Conference on Engineering of Complex Computer Systems), 6 November 2016 - 8 November 2016 (Dubaï, United Arab Emirates).

This list was generated on Mon Oct 21 10:46:01 2019 CEST.