Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno daAusbourg, Yamine Aït Ameur. Formal development process of safety-critical embedded human machine interface systems. In Frédéric Mallet, Min Zhang 0002, Eric Madelaine, editors, 11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, September 13-15, 2017. pages 1-8, IEEE, 2017. [doi]
Abstract is missing.