Formal timing analysis of OMT designs using LIMITS.

Leo Motus Tonu Naks

Published in: WORDS (1997)

Keyphrases

formal model
formal methods
real time
special case
design principles
formal specification
design space
formal analysis