Login / Signup
Deriving a State Model of a Control Program by Symbolic Execution.
Herbert Prähofer
Thomas Bohm
Josef Pichler
Published in:
INDIN (2018)
Keyphrases
</>
control program
high level
open source
genetic algorithm
data structure
database management systems