Antoine Varet, Nicolas Larrieu. New methodology to develop certified safe and secure aeronautical software - An embedded router case study.
DASC 2011, 30th IEEE/AIAA Digital Avionics Systems Conference, Oct 2011, Seattle, United States. pp 1-24,
⟨10.1109/DASC.2011.6096284⟩.
⟨hal-01022284⟩