A Formal Approach to Constructing Secure Air Vehicle Software

Darren Cofer, Andrew Gacek, John Backes, Michael W. Whalen, Lee Pike, Adam Foltzer, Michal Podhradsky, Gerwin Klein, Ihor Kuz, June Andronick, Gernot Heiser, Douglas Stuart

Research output: Contribution to specialist publicationArticle

16 Scopus citations

Fingerprint

Dive into the research topics of 'A Formal Approach to Constructing Secure Air Vehicle Software'. Together they form a unique fingerprint.

Engineering & Materials Science