Formal component-based modeling and synthesis for PLC systems

M. Zhou, H. Wan, R. Wang, X. Song, C. Su, M. Gu, J. Sun. Formal component-based modeling and synthesis for PLC systems. Computers in Industry, 64(8):1022-1034, 2013. [doi]

No reviews for this publication, yet.