AADL-Based safety analysis using formal methods applied to aircraft digital systems
| Autor: | Stewart, Danielle, Liu, Jing (Janet), Cofer, Darren, Heimdahl, Mats, Whalen, Michael W., Peterson, Michael |
|---|---|
| Zdroj: | In Reliability Engineering and System Safety September 2021 213 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect