Login / Signup

Trace-Guided Synthesis of Reactive Behavior Models of Programmable Logic Controllers.

Roland SchatzHerbert Prähofer
Published in: EUROMICRO-SEAA (2013)
Keyphrases
  • programmable logic
  • image processing
  • controller synthesis