Sign in

A Domain Specific Language for the ARINC 653 Specification.

Ikram DarifCristiano PolitowskiGhizlane El-BoussaidiSè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