Formal Modelling of PLC Systems by BIP Components.

Rui Wang, Yong Guan, Liming Luo, Xiaoyu Song, Jie Zhang

Browse the full COMPSAC paper archive.