https://hal.inria.fr/inria-00516236
Contributeur : Bow-Yaw Wang
<>
Soumis le : jeudi 9 septembre 2010 - 06:36:44
Dernière modification le : mercredi 10 octobre 2018 - 14:28:09
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. 2009. 〈inria-00516236〉
