Ikram Darif, Cristiano Politowski, Ghizlane El-Boussaidi, Sègla Kpodjedo. A Domain Specific Language for the ARINC 653 Specification. In IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE 2022 - Workshops, Charlotte, NC, USA, October 31 - Nov. 3, 2022. pages 238-245, IEEE, 2022. [doi]
Abstract is missing.