Formal component-based modeling and synthesis for PLC systems.

Min Zhou Hai Wan Rui Wang Xiaoyu Song Chen Su Ming Gu Jiaguang Sun

Published in: Comput. Ind. (2013)

Keyphrases

distributed systems
dynamic aspects
computer systems
expert systems
management system
low cost
building blocks
complex systems
reactive systems