An intuitive formal proof for Deadline Driven Scheduler

✍ Scribed by Naijun Zhan

• Publisher: Springer
• Year: 2001
• Tongue: English
• Weight: 607 KB
• Volume: 16
• Category: Article
• ISSN: 1000-9000
• DOI: 10.1007/bf02950419