Login / Signup
PLC code generation based on a formal specification language.
Dániel Darvas
Enrique Blanco Viñuela
István Majzik
Published in:
INDIN (2016)
Keyphrases
</>
code generation
formal specification language
formal specification
model checking
temporal logic
formal methods
code generator
control system
reverse engineering
modeling language
software components
application development
fine grained
knowledge representation
real world
black box
rapid prototyping