Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance Cases.
2022
-
Correction
-
Cite
-
Save
0
References
0
Citations
NaN
KQI