Formalizing Timing Diagram Requirements in Discrete Duration Calculus.

Raj Mohan Matteplackel Paritosh K. Pandya Amol Wakankar

Published in: SEFM (2017)

Keyphrases

user requirements
translation invariant
application specific
information retrieval
artificial intelligence
social networks
case study
relational databases
finite number
functional requirements
asynchronous circuits
discrete version