Timed Patterns: TCOZ to Timed Automata

This publication has 14 references indexed in Scilit:

• Real‐Time Systems
  Published by Wiley ,2002
• Deep Semantic Links of TCSP and Object-Z: TCOZ Approach
  Formal Aspects of Computing, 2002
• A theory of timed automata
  Published by Elsevier ,2002
• Timed Communicating Object Z
  IEEE Transactions on Software Engineering, 2000
• UPPAAL — a tool suite for automatic verification of real-time systems
  Published by Springer Nature ,1996
• The tool Kronos
  Published by Springer Nature ,1996
• Object-Z: A specification language advocated for the description of standards
  Computer Standards & Interfaces, 1995
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• The generalized railroad crossing: a case study in formal verification of real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1994
• Timed CSP: Theory and practice
  Published by Springer Nature ,1992