Domain-Specific Languages for Requirements Modelling (with a focus on IMA Separation Kernels) - Butterfield, Andrew (My University, 2017)
DASIA 2017 DAta Systems In Aerospace
PUBLISHED
Gothenburg, Sweden
Keywords: Aerospace Technology; Aircraft Avionics; Computer Operating Systems; Formal Methods; Formal Semantics