Formal Methods for Real-Time Computing

Foundations of Real-Time Computing: Scheduling and Resource Management by Gary M

Foundations of Real-Time Computing: Formal Specifications and Methods by Andr? M

Foundations of Real-Time Computing: Formal Specifications and... - 9781461367963

Numerical Analysis: Mathematics of Scientific Computing (A Gary

Foundations of Real-Time Computing: Scheduling and Resource Management by Andr?

Stochastic Methods in Scientific Computing: From Foundations to Advanced

Foundations of Dependable Computing: System Implementation by Gary M. Koob (Engl