Sign in

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

Herbert PrähoferThomas BohmJosef Pichler
Published in: INDIN (2018)
Keyphrases
  • control program
  • high level
  • open source
  • genetic algorithm
  • data structure
  • database management systems