Increasing the Verification Analysis Using Tool Assessment as Per DO-254

von Nanda, Manju
Veröffentlicht in ICIECE (7. : 2018 : Hyderabad, Telangana) Innovations in electronics and communication engineering (2019)

Formal methods for safety and security : case studies for aerospace applications

Veröffentlicht 2018