Formalizing Timing Diagram Requirements in Discrete Duration Calulus.

Raj Mohan Matteplackel Paritosh K. Pandya Amol Wakankar

Published in: CoRR (2017)

Keyphrases

knowledge base
functional requirements
case study
finite number
discrete geometry
discrete version
database
genetic algorithm
learning algorithm
data structure
application specific
discrete space