Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance Cases.

2022
    • Correction
    • Cite
    • Save
    0
    References
    0
    Citations
    NaN
    KQI
    []
    Baidu
    map