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]
@inproceedings{LiG21-20,
title = {Brief Industry Paper: A Model-based Framework and Tool Support for Capturing System Verification Strategy},
author = {Mole Li and Alan Grigg},
year = {2021},
doi = {10.1109/RTAS52030.2021.00047},
url = {https://doi.org/10.1109/RTAS52030.2021.00047},
researchr = {https://researchr.org/publication/LiG21-20},
cites = {0},
citedby = {0},
pages = {441-444},
booktitle = {27th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2021, Nashville, TN, USA, May 18-21, 2021},
publisher = {IEEE},
isbn = {978-1-6654-0386-3},
}