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