A Domain Specific Language for the ARINC 653 Specification.

Ikram Darif Cristiano Politowski Ghizlane El-Boussaidi Sègla Kpodjedo

Published in: ISSRE Workshops (2022)

Keyphrases

high level
formal specification
specification language
data structure
provably correct
data sets
digital libraries
conceptual model
state machine