InstitutionDoi/1708: Difference between revisions
import>Unknown user No edit summary |
m 1 revision imported |
||
(No difference)
| |||
Revision as of 10:34, 28 May 2026
| Title | Model-Based STPA: Enabling Safety Analysis Coverage Assessment with Formalization |
|---|---|
| DOI | https://doi.org/10.1109/dasc55683.2022.9925883 |
| Raw Affiliation | German Aerospace Center (DLR),Institute of Flight Systems,Braunschweig,Germany |
| Clean Page Target | German Aerospace Center (DLR),Institute of Flight Systems,Braunschweig,Germany |