Conformance checking for programmable logic controller programs and specifications.

Dániel Darvas István Majzik Enrique Blanco Viñuela

Published in: SIES (2016)

Keyphrases

programmable logic controller
petri net
control flow
hardware and software
recursive programs
fuzzy control
protocol specification
high level
information systems
clustering algorithm
artificial neural networks
computer programs
specification language
program synthesis