Formal Modelling of PLC Systems by BIP Components - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Rui Wang, Yong Guan, Liming Luo, Xiaoyu Song, Jie Zhang. Formal Modelling of PLC Systems by BIP Components. In 37th Annual IEEE Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, July 22-26, 2013. pages 512-518, IEEE Computer Society, 2013. [doi]

The following publications are possibly variants of this publication:

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

Component-Based Formal Modeling of PLC SystemsRui Wang, Yong Guan, Liming Luo, Xiaojuan Li, Jie Zhang. jam, 2013, 2013. [doi]

runs on WebDSL