Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang. ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. In Isabelle Perseil, Karin Breitman, Roy Sterritt, editors, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. pages 293-301, IEEE Computer Society, 2012. [doi]
@inproceedings{ShiHZFHZ12,
title = {ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System},
author = {Jianqi Shi and Jifeng He and Huibiao Zhu and Huixing Fang and Yanhong Huang and Xiaoxian Zhang},
year = {2012},
doi = {10.1109/ICECCS.2012.27},
url = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.27},
researchr = {https://researchr.org/publication/ShiHZFHZ12},
cites = {0},
citedby = {0},
pages = {293-301},
booktitle = {16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
editor = {Isabelle Perseil and Karin Breitman and Roy Sterritt},
publisher = {IEEE Computer Society},
}