Andrés Paz, Ghizlane El-Boussaidi. On the Exploration of Model-Based Support for DO-178C-Compliant Avionics Software Development and Certification. In 2016 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2016, Ottawa, ON, Canada, October 23-27, 2016. pages 229-236, IEEE Computer Society, 2016. [doi]
Abstract is missing.