A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software.

Gregory Zoughbi, Lionel C. Briand, Yvan Labiche

Browse the full MODELS paper archive.