Login / Signup

Verification of PLC Programs Given as Sequential Function Charts.

Nanette BauerSebastian EngellRalf HuuckSven LohmannBen LukoschusManuel RemelheOlaf Stursberg
Published in: SoftSpez Final Report (2004)
Keyphrases
  • databases
  • neural network
  • control system
  • genetic algorithm
  • artificial intelligence
  • search engine
  • hidden markov models
  • model checking
  • piecewise linear
  • computer programs
  • symbolic execution