Specification and analysis of real-time systems in Statecharts

Sung Deok Cha, Hyoung Seok Hong. Specification and analysis of real-time systems in Statecharts. In Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, February 1-2, 1996, Laguna Beach, California, USA. pages 137-143, IEEE, 1996. [doi]

Abstract

Abstract is missing.