Thomas Bohm

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Genetic Algorithm

Control Program

Top Venues

Publications

Herbert Prähofer, Thomas Bohm, Josef Pichler
Deriving a State Model of a Control Program by Symbolic Execution. INDIN (2018)