Inspec keywords: real-time systems; formal specification; control system analysis computing; aerospace control; scheduling; safety-critical software; software quality
Other keywords:
Subjects: Aerospace industry; Aerospace control; Data security; Aerospace engineering computing; Control system design and analysis; Software management; Formal methods; Health and safety aspects; Software engineering techniques