Testing of Timing Properties in Real-Time Systems: Verifying Clock Constraints.

Mehrdad Saadatmand, Mikael Sjdin

Browse the full APSEC paper archive.