A Process Calculus Approach to Correctness Enforcement of PLCs.

Ruggero Lanotte Massimo Merro Andrei Munteanu

Published in: ICTCS (2020)

Keyphrases

search engine
knowledge base
process model
provably correct
database
image sequences
search algorithm
evolutionary algorithm
temporal reasoning