A process calculus approach to correctness enforcement of PLCs (full version).

Ruggero Lanotte Massimo Merro Andrei Munteanu

Published in: CoRR (2020)

Keyphrases

neural network
databases
artificial intelligence
computer vision
image processing
multimedia
expert systems
multiresolution
software engineering
access control