Timing analysis of asynchronous circuits using timed automata

This publication has 14 references indexed in Scilit:

• The input-output control of real-time discrete event systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A theory of timed automata
  Published by Elsevier ,2002
• Reachability analysis of dynamical systems having piecewise-constant derivatives
  Theoretical Computer Science, 1995
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Symbolic controller synthesis for discrete and timed systems
  Published by Springer Nature ,1995
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• Timed Boolean Functions
  Published by Springer Nature ,1994
• Model-Checking in Dense Real-Time
  Information and Computation, 1993
• Modeling and verification of time dependent systems using time Petri nets
  IEEE Transactions on Software Engineering, 1991
• Analysis of digital circuits through symbolic reduction
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1991