Verifying Time Partitioning in the DEOS Scheduling Kernel
John Penix; Willem Visser; SeungJoon Park; Corina Pasareanu; Eric Engstrom; Aaron Larson; Nicholas Weininger
- 作者John Penix; Willem Visser; SeungJoon Park; Corina Pasareanu; Eric Engstrom; Aaron Larson; Nicholas Weininger
- 卷第26卷
- 期第2期
- 印刷ISSN0925-9856
- 电子ISSN1572-8102
- 文件大小3921.93KB
- 发表时间2005-03
- DOI10.1007/s10703-005-1490-4
- 页码103-135