Communication Dans Un Congrès
Année : 2009
Bow-Yaw Wang : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00516236
Soumis le : jeudi 9 septembre 2010-06:36:44
Dernière modification le : mardi 26 mars 2024-16:24:04
Dates et versions
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⟩
107
Consultations
0
Téléchargements