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 journalArticlepeer-review

24 Scopus citations

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.

Keyphrases

Computer Science

Engineering