Modeling and Validation of PLC-Controlled Systems: A Case Study - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Gu Ming, Marius Bozga. Modeling and Validation of PLC-Controlled Systems: A Case Study. In Tiziana Margaria, Zongyan Qiu, Hongli Yang, editors, Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China. pages 161-166, IEEE, 2012. [doi]

This author has not been identified. Look up 'Rui Wang' in GoogleThis author has not been identified. Look up 'Min Zhou' in GoogleThis author has not been identified. Look up 'Liangze Yin' in GoogleThis author has not been identified. Look up 'Lianyi Zhang' in GoogleThis author has not been identified. Look up 'Jiaguang Sun' in GoogleThis author has not been identified. Look up 'Gu Ming' in GoogleThis author has not been identified. Look up 'Marius Bozga' in Google

runs on WebDSL