![](/img/cover-not-exists.png)
[ACM Press the 22nd international conference - Limerick, Ireland (2000.06.04-2000.06.11)] Proceedings of the 22nd international conference on Software engineering - ICSE '00 - Verification of time partitioning in the DEOS scheduler kernel
Penix, John, Visser, Willem, Engstrom, Eric, Larson, Aaron, Weininger, NicholasYear:
2000
Language:
english
DOI:
10.1145/337180.337364
File:
PDF, 109 KB
english, 2000