Timing analysis in COSPAN

This publication has 17 references indexed in Scilit:

• Compositional and symbolic model-checking of real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A theory of timed automata
  Published by Elsevier ,2002
• Timing Verification by Successive Approximation
  Information and Computation, 1995
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• A really temporal logic
  Journal of the ACM, 1994
• Model-Checking in Dense Real-Time
  Information and Computation, 1993
• Symbolic Model Checking
  Published by Springer Nature ,1993
• What good are digital clocks?
  Published by Springer Nature ,1992
• Modeling and verification of time dependent systems using time Petri nets
  IEEE Transactions on Software Engineering, 1991