Automatic extraction of requirements from state-based hardware designs for runtime verification

Minjun Seo, Roman Lysecky

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Automatic extraction of requirements from state-based hardware designs for runtime verification'. Together they form a unique fingerprint.

Engineering & Materials Science