Ensuring Safety of Avionics Software at the Architecture Design Level: an Industrial Case StudyAuthorsJ. Wu, T. Yue and S. AliStatusPublishedPublication typeProceedings RefereedYear of publication2013JournalThe 13th International Conference on Quality Software (QSIC 2013)PublisherIEEECitation key8773Google Scholar BibTex