Design and Verification of Restart-Robust Industrial Control Software.

Dimitri Bohlender Stefan Kowalewski

Published in: IFM (2018)

Keyphrases

control software
optimal design
computer aided
functional verification
case study
formal verification
user interface
knowledge based systems
random walk
design process
computationally efficient
petri net
building blocks
data sets
expert systems
knowledge base
data mining