Zhi Ma, Lei Qiao, Mengfei Yang, Shao-Feng Li, Jin-Kun Zhang. Verification of Real Time Operating System Exception Management Based on SPARCv8. J. Comput. Sci. Technol., 36(6):1367-1387, 2021. [doi]
@article{MaQYLZ21,
title = {Verification of Real Time Operating System Exception Management Based on SPARCv8},
author = {Zhi Ma and Lei Qiao and Mengfei Yang and Shao-Feng Li and Jin-Kun Zhang},
year = {2021},
doi = {10.1007/s11390-021-1644-x},
url = {https://doi.org/10.1007/s11390-021-1644-x},
researchr = {https://researchr.org/publication/MaQYLZ21},
cites = {0},
citedby = {0},
journal = {J. Comput. Sci. Technol.},
volume = {36},
number = {6},
pages = {1367-1387},
}