Shengwen Gong. Modeling and Verifying the Kernel of RTOS. In Chunfeng Liu, Leizhen Wang, Aimin Yang, editors, Information Computing and Applications - Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings, Part I. Volume 307 of Communications in Computer and Information Science, pages 610-617, Springer, 2012. [doi]
Abstract is missing.