Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude.

Peter Csaba lveczky, Marco Caccamo

Browse the full FASE paper archive.