Generation and Verification of Executable Assurance Case by Model-based Engineering

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]

Authors

Fang Yan

This author has not been identified. Look up 'Fang Yan' in Google