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