Login / Signup
Trace-Guided Synthesis of Reactive Behavior Models of Programmable Logic Controllers.
Roland Schatz
Herbert Prähofer
Published in:
EUROMICRO-SEAA (2013)
Keyphrases
</>
programmable logic
image processing
controller synthesis