Ensuring Safety of Avionics Software at the Architecture Design Level, An Industrial Case Study

Ensuring Safety of Avionics Software at the Architecture Design Level, An Industrial Case Study

Authors
J. Wu, T. Yue and S. Ali