Haiyong Sun, Hang Lei, Lei Qiao, Zheng Yang 0007. Formal Verification of GP Specification based Embedded Operating System. In Ali Emrouznejad, Zhihong Qian, editors, The 2nd International Conference on Computer Science and Application Engineering, CSAE 2018, Hohhot, China, October 22-24, 2018. ACM, 2018. [doi]
@inproceedings{SunLQ018,
title = {Formal Verification of GP Specification based Embedded Operating System},
author = {Haiyong Sun and Hang Lei and Lei Qiao and Zheng Yang 0007},
year = {2018},
doi = {10.1145/3207677.3277971},
url = {https://doi.org/10.1145/3207677.3277971},
researchr = {https://researchr.org/publication/SunLQ018},
cites = {0},
citedby = {0},
booktitle = {The 2nd International Conference on Computer Science and Application Engineering, CSAE 2018, Hohhot, China, October 22-24, 2018},
editor = {Ali Emrouznejad and Zhihong Qian},
publisher = {ACM},
isbn = {978-1-4503-6512-3},
}