IEEE - Institute of Electrical and Electronics Engineers, Inc. - Specification and analysis of real-time systems in Statecharts

Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems

Author(s): Sung Deok Cha ; Hyoung Seok Hong
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Laguna Beach, CA, USA
Conference Date: 1 February 1996
Page(s): 137 - 143
ISBN (Paper): 0-8186-7570-5
DOI: 10.1109/WORDS.1996.506274
Regular:

Increased use of software in controlling safety critical systems produced an urgent need to specify and analyze behavior of these systems systematically and rigorously. Statecharts formalism, a... View More

Advertisement