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]

Authors

M. Zhou

This author has not been identified. Look up 'M. Zhou' in Google

H. Wan

This author has not been identified. Look up 'H. Wan' in Google

R. Wang

This author has not been identified. Look up 'R. Wang' in Google

X. Song

This author has not been identified. Look up 'X. Song' in Google

C. Su

This author has not been identified. Look up 'C. Su' in Google

M. Gu

This author has not been identified. Look up 'M. Gu' in Google

J. Sun

This author has not been identified. It may be one of the following persons: Look up 'J. Sun' in Google