Testing timed automata

This publication has 27 references indexed in Scilit:

• The bounded retransmission protocol must be on time!
  1997
• Efficient scaling-invariant checking of timed bisimulation
  1997
• Robust timed automata
  1997
• The tool Kronos
  1996
• Timing analysis in COSPAN
  1996
• Generating test cases for real-time systems from logic specifications
  ACM Transactions on Computer Systems, 1995
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• A theory of timed automata
  Theoretical Computer Science, 1994
• Book Review: Design and Validation of Computer Protocols by Gerard J. Holzmann (Prentice Hall, 1991)
  ACM SIGCOMM Computer Communication Review, 1991
• An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours
  IEEE Transactions on Communications, 1991