Integrating Behavior and Timing in Executable Specifications

This publication has 1 reference indexed in Scilit:

• Algorithms for interface timing verification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003