Formalizing Timing Diagram Requirements in Discrete Duration Calculus.

Raj Mohan Matteplackel, Paritosh K. Pandya, Amol Wakankar

Browse the full SEFM paper archive.