Model checking scheduler of linux kernel

被引：0

作者：

Liu, Tong-Xuan ^{[1
]}

Zhang, Qiong-Sheng ^{[1
]}

Chen, Xiao-Wei ^{[1
]}

Xu, Lei ^{[2
]}

机构：

[1] College of Computer and Communication, China University of Petroleum, Dongying 257061, China

[2] Research Institute of Petroleum Exploration and Development, Beijing 100083, China

来源：

Harbin Gongye Daxue Xuebao/Journal of Harbin Institute of Technology | 2009年 / 41卷 / SUPPL. 1期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：148 / 155