Original price was: $27.00.Current price is: $18.00.

This text provides an account of real-time systems: program structures for real-time timing analysis using scheduling theory and specification and verification in different frameworks. 

Category:
Placeholder
Real-Time Systems Specification Verification And Analysis – Joseph Mathai