Fang Yan. Generation and Verification of Executable Assurance Case by Model-based Engineering. In IEEE International Symposium on Software Reliability Engineering, ISSRE 2021 - Workshops, Wuhan, China, October 25-28, 2021. pages 323-326, IEEE, 2021. [doi]
Abstract is missing.