Rapid prototyping of software for avionics systems : model-oriented approaches for complex systems certification /
Larrieu, Nicolas,author.
Varet, Antoine,author.
"ISSN 2051-249X (online)"--Title page verso.
Translated from the French.
Includes bibliographical references and index.
Avionics
Computer software
Avionics
Rapid prototyping.