Formal development process of safety-critical embedded human machine interface systems.

Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno d'Ausbourg, Yamine At Ameur

Browse the full TASE paper archive.