Conference Papers
Year : 2009
Bow-Yaw Wang : Connect in order to contact the contributor
https://inria.hal.science/inria-00516236
Submitted on : Thursday, September 9, 2010-6:36:44 AM
Last modification on : Tuesday, June 27, 2023-3:50:32 PM
Dates and versions
Identifiers
- HAL Id : inria-00516236 , version 1
Cite
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⟩
106
View
0
Download