A Domain Specific Language for the ARINC 653 Specification.

Ikram Darif, Cristiano Politowski, Ghizlane El-Boussaidi, Sgla Kpodjedo

Browse the full ISSRE paper archive.