Formal Modelling of PLC Systems by BIP Components

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]

Authors

Rui Wang

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

Yong Guan

This author has not been identified. Look up 'Yong Guan' in Google

Liming Luo

This author has not been identified. Look up 'Liming Luo' in Google

Xiaoyu Song

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

Jie Zhang

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