Specification and analysis of real-time systems in statecharts

Sung Deok Cha, Hyoung Seok Hong

Research output: Contribution to conferencePaperpeer-review

2 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Specification and analysis of real-time systems in statecharts'. Together they form a unique fingerprint.

Engineering & Materials Science