Timed Patterns: TCOZ to Timed Automata

  title={Timed Patterns: TCOZ to Timed Automata},
  author={Jin Song Dong and Ping Hao and Shengchao Qin and Jun Sun and Wang Yi},
The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real-time systems. However, the challenge is how to verify the TCOZ models with tool support, especially for analyzing timing properties. Specialized graph-based modeling technique, Timed Automata (TA), has powerful mechanisms for designing real-time models using multiple clocks and has well developed automatic tool support. One… CONTINUE READING
Highly Cited
This paper has 69 citations. REVIEW CITATIONS


Publications citing this paper.

70 Citations

Citations per Year
Semantic Scholar estimates that this publication has 70 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 18 references

TCOZ to Timed Automata

  • J. S. Dong, P. Hao, S. C. Qin, J. Sun, W. Yi
  • Technical Report TRC6/03, School of Computing…
  • 2003
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…