Deriving a State Model of a Control Program by Symbolic Execution.

Thomas Bohm, Josef Pichler, Herbert Prähofer

Research output: Contribution to conferencePaperpeer-review

Fingerprint

Dive into the research topics of 'Deriving a State Model of a Control Program by Symbolic Execution.'. Together they form a unique fingerprint.

Engineering & Materials Science

Business & Economics