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]

Abstract

Abstract is missing.