A formal proof of the deadline driven scheduler
1994
شكل
| تنسيق | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS | |
رمز / رقم الاستدعاء
UNU/IIST(05)/R425/no.16
العنوان
A formal proof of the deadline driven scheduler
رقم الطلب
UNU/IIST(05)/R425/no.16
سلسلة
تاريخ
Tokyo : UN University : International Institute for Software Technology, Feb. 1994
الوصف
i, 23 p.