ISCAS OpenIR  > 基础软件与系统重点实验室
an intuitive formal proof for deadline driven scheduler
Zhan Naijun; Zhan, NJ (通讯作者), Chinese Acad Sci, Inst Software, Lab Comp Sci & Technol, Beijing 100080, Peoples R China
2008
发表期刊Journal of Computer Science and Technology
卷号16期号:2页码:146-158
收录类别springer,sci
关键词Duration Calculus Deadline Driven Scheduler Real-time
部门归属计算机科学国家重点实验室
资助者United Nations University, Int. Inst. for Softw. Technol., China; Vietnam National University, Hanoi, Vietnam; Vietnam Academy of Science and Technology, Vietnam
WOS记录号WOS:000167726400005
引用统计
被引频次:2[WOS]   [WOS记录]     [WOS相关记录]
内容类型期刊论文
URI标识http://ir.iscas.ac.cn/handle/311060/4538
专题基础软件与系统重点实验室
通讯作者Zhan, NJ (通讯作者), Chinese Acad Sci, Inst Software, Lab Comp Sci & Technol, Beijing 100080, Peoples R China
推荐引用方式
GB/T 7714
Zhan Naijun,Zhan, NJ . an intuitive formal proof for deadline driven scheduler[J]. Journal of Computer Science and Technology,2008,16(2):146-158.
APA Zhan Naijun,&Zhan, NJ .(2008).an intuitive formal proof for deadline driven scheduler.Journal of Computer Science and Technology,16(2),146-158.
MLA Zhan Naijun,et al."an intuitive formal proof for deadline driven scheduler".Journal of Computer Science and Technology 16.2(2008):146-158.
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
2.pdf(363KB) 开放获取--请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[Zhan Naijun]的文章
[Zhan, NJ (通讯作者), Chinese Acad Sci, Inst Software, Lab Comp Sci & Technol, Beijing 100080, Peoples R China]的文章
百度学术
百度学术中相似的文章
[Zhan Naijun]的文章
[Zhan, NJ (通讯作者), Chinese Acad Sci, Inst Software, Lab Comp Sci & Technol, Beijing 100080, Peoples R China]的文章
必应学术
必应学术中相似的文章
[Zhan Naijun]的文章
[Zhan, NJ (通讯作者), Chinese Acad Sci, Inst Software, Lab Comp Sci & Technol, Beijing 100080, Peoples R China]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。