Lingkan Gong, Jingfen Lu. Verification-Purpose Operating System for Microprocessor System-Level Functions. IEEE Design & Test of Computers, 27(1):76-85, 2010. [doi]
@article{GongL10-1,
title = {Verification-Purpose Operating System for Microprocessor System-Level Functions},
author = {Lingkan Gong and Jingfen Lu},
year = {2010},
doi = {10.1109/MDT.2010.28},
url = {http://doi.ieeecomputersociety.org/10.1109/MDT.2010.28},
tags = {operating system},
researchr = {https://researchr.org/publication/GongL10-1},
cites = {0},
citedby = {0},
journal = {IEEE Design & Test of Computers},
volume = {27},
number = {1},
pages = {76-85},
}