Formal specification and Code Generation of Programmable Logic Controllers - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Formal specification and Code Generation of Programmable Logic Controllers

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : inria-00516236 , version 1

Citer

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⟩
109 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More