Real-Time Systems: Scheduling, Analysis, and Verification, Cheng, Albert M. K.,

Real-Time Systems : Scheduling, Analysis, and Verification, Hardcover by Chen...

Multiprocessor Scheduling for Real-Time Systems, Hardcover by Baruah, Sanjoy;...

Real-Time Systems: Scheduling, Analysis, and Verification by Albert M K Cheng

Real-Time Systems: Scheduling, Analysis, and Verification by Albert M.K. Cheng (

Real-Time Systems: Scheduling, Analysis, and Verification by Albert M K Cheng

Compositional Verification of Concurrent and Real-Time Systems, Hardcover by ...

Real-Time Systems: Scheduling, Analysis, and Verification by Albert M.K. Cheng (