Formal component-based modeling and synthesis for PLC systems
| Year of publication: |
2013
|
|---|---|
| Authors: | Zhou, M. ; Wan, H. ; Wang, R. ; Song, X. ; Su, C. ; Gu, M. ; Sun, J. |
| Published in: |
Computers in industry : an international journal. - Amsterdam : North Holland Publ. Co, ISSN 0166-3615, ZDB-ID 4456300. - Vol. 64.2013, 8, p. 1022-1034
|