https://hal.inria.fr/inria-00516236 Contributor : Bow-Yaw WangConnect in order to contact the contributor Submitted on : Thursday, September 9, 2010 - 6:36:44 AM Last modification on : Thursday, February 3, 2022 - 11:17:23 AM
Rui Wang, Ming Gu, Xiaoyu Song, Hai Wan. Formal specification and Code Generation of Programmable Logic Controllers. IEEE International Conference on Engineering of Complex Computer System, 2009, Berlin, Germany. ⟨inria-00516236⟩