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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.