Model-based verification of PLC programs using Simulink design.

Nannan He Victor Oke Gale Allen

Published in: EIT (2016)

Keyphrases

control system
case study
engineering design
hardware designs
real time
design principles
knowledge based systems
design process
design methodology
user interface
building blocks
computer aided
formal methods
functional verification