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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.