Fingerprint
Dive into the research topics of 'AADL-Based safety analysis using formal methods applied to aircraft digital systems'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
AADL-Based safety analysis using formal methods applied to aircraft digital systems
Danielle Stewart, Jing (Janet) Liu, Darren Cofer, Mats Heimdahl, Michael W. Whalen, Michael Peterson
Research output: Contribution to journal › Article › peer-review
22
Scopus
citations