Generating reduced finite state machine from concurrent scenarios using static partial order method

Nam Hee Lee, Sung Deok Cha

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Generating reduced finite state machine from concurrent scenarios using static partial order method'. Together they form a unique fingerprint.

Business & Economics

Engineering & Materials Science