Formal specification and Code Generation of Programmable Logic Controllers - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

Formal specification and Code Generation of Programmable Logic Controllers

No file

Dates and versions

inria-00516236 , version 1 (09-09-2010)

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

Share

Gmail Facebook Twitter LinkedIn More