Introduction to specification, analysis, design, and validation techniques for real-time (operating) systems with an emphasis on real-time scheduling theory.
Introduction to specification, analysis, design, and validation techniques for real-time (operating) systems with an emphasis on real-time scheduling theory.
