Equivalence checking of two statechart specifications

Myung Hwan Park, Ki Seok Bang, Jin Young Choi, Inhye Kang

Research output: Contribution to journalArticlepeer-review

9 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Equivalence checking of two statechart specifications'. Together they form a unique fingerprint.

Engineering & Materials Science