Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them

B. Dasarathy. Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them. In Proceedings of the Real-Time Systems Symposium, RTSS 1982, Los Angeles, California, USA, December 7-9, 1982. pages 197-204, IEEE Computer Society, 1982.

Abstract

Abstract is missing.