Algebraic Approach for Confidence Evaluation of Assurance Cases

von Yamagata, Yoriyuki
Veröffentlicht in ICFEM (22. : 2021 : Singapur) Formal methods and software engineering (2021)