Fingerprint
Dive into the research topics of 'A Formal Approach to Constructing Secure Air Vehicle Software'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
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 publication › Article
30
Scopus
citations