| Title | Model-Based STPA: Towards Safety-Guided Design with Formalization |
|---|---|
| DOI | https://doi.org/10.1109/isse54508.2022.10005396 |
| Raw Affiliation | Institute of Flight Systems,German Aerospace Center (DLR),Braunschweig,Germany |
| Clean Page Target | Institute of Flight Systems,German Aerospace Center (DLR),Braunschweig,Germany |