van Tilborg - Foundations of Real-Time Computing Formal Specification - X555z

Formal Methods for Real-Time Computing

van Tilborg - Foundations of Real-Time Computing Scheduling and Resou - X555z

Foundations of Real-Time Computing: - Hardcover, by van Tilborg André - Good

Foundations Of Real-Time Computing: Scheduling And Resource Management - HC

Koob - Foundations of Dependable Computing Paradigms for Dependable - X555z

Malek - Responsive Computing A Special Issue of Real-Time Systems the - X555z