Publication:764: Difference between revisions
import>Unknown user No edit summary |
m 1 revision imported |
||
(No difference)
| |||
Latest revision as of 11:09, 6 May 2026
| EU Project | XANDAR |
|---|---|
| EU Programme | |
| Internal ID | 764 |
| Publication Type | Conference proceedings |
| Title | Model-Based STPA: Enabling Safety Analysis Coverage Assessment with Formalization |
| Authors | Alexander Ahlbrecht, Umut Durak |
| Year | 2022 |
| DOI | https://doi.org/10.1109/dasc55683.2022.9925883 |
| Research Category | Software Engineering, Testing, and DevOps |