6 search results - page 2 / 2 » Scheduling and binding bounds for RT-level symbolic executio... |
FASE
2006
Springer
13 years 9 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...