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

B. Dasarathy

Browse the full RTSS paper archive.