Turning High-Level Live Sequence Charts into Automata

Yves Bontemps, Patrick Heymans

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Fingerprint

Dive into the research topics of 'Turning High-Level Live Sequence Charts into Automata'. Together they form a unique fingerprint.

Computer Science