Nicolas Metayer, Andrés Paz, Ghizlane El-Boussaidi. Modelling DO-178C Assurance Needs: A Design Assurance Level-Sensitive DSL. In Katinka Wolter, Ina Schieferdecker, Barbara Gallina, Michel Cukier, Roberto Natella, Naghmeh Ivaki, Nuno Laranjeiro, editors, IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019. pages 338-345, IEEE, 2019. [doi]
Abstract is missing.