Institutional Repository
| 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 | |
| Source | Journal of Computer Science and Technology
 |
| Volume | 16Issue:2Pages:146-158 |
| Indexed Type | springer,sci |
| Keyword | Duration Calculus Deadline Driven Scheduler Real-time |
| Department | 计算机科学国家重点实验室 |
| Sponsorship | United Nations University, Int. Inst. for Softw. Technol., China; Vietnam National University, Hanoi, Vietnam; Vietnam Academy of Science and Technology, Vietnam |
| WOS ID | WOS:000167726400005 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/4538 |
| Collection | 基础软件与系统重点实验室 |
| Corresponding Author | Zhan, NJ (通讯作者), Chinese Acad Sci, Inst Software, Lab Comp Sci & Technol, Beijing 100080, Peoples R China |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 2.pdf（363KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment