Component-Based Formal Modeling of PLC Systems.

Rui Wang Yong Guan Liming Luo Xiaojuan Li Jie Zhang

Published in: J. Appl. Math. (2013)

Keyphrases

computer vision
building blocks
formal methods
reactive systems
dynamic aspects
databases
neural network
genetic algorithm
metadata
database systems
artificial neural networks
management system
computer systems
learning systems
formal models