Modeling and Validation of PLC-Controlled Systems: A Case Study.

Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga

Browse the full TASE paper archive.