Brief Industry Paper: A Model-based Framework and Tool Support for Capturing System Verification Strategy

Mole Li, Alan Grigg. Brief Industry Paper: A Model-based Framework and Tool Support for Capturing System Verification Strategy. In 27th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2021, Nashville, TN, USA, May 18-21, 2021. pages 441-444, IEEE, 2021. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.