Formal simulation and analysis of the CASH scheduling algorithm in Real-Time Maude (2006)

by Peter Csaba Ölveczky , Marco Caccamo
Venue:Fundamental Approaches to Software Engineering (FASE’06), volume 3922 of Lecture Notes in Computer Science
Citations:11 - 9 self