Formal specification and Code Generation of Programmable Logic Controllers

Rui Wang Ming Gu 1 Xiaoyu Song 1 Hai Wan
1 FORMES - Formal Methods for Embedded Systems
LIAMA - Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées, Inria Paris-Rocquencourt
Type de document :
Communication dans un congrès
IEEE International Conference on Engineering of Complex Computer System, 2009, Berlin, Germany. 2009
Liste complète des métadonnées
https://hal.inria.fr/inria-00516236
Contributeur : Bow-Yaw Wang <>
Soumis le : jeudi 9 septembre 2010 - 06:36:44
Dernière modification le : mardi 17 avril 2018 - 11:28:10

Identifiants

  • HAL Id : inria-00516236, version 1

Collections

INRIA | LIAMA | CIRAD | INRA

Citation

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

109

Contact


archive-ouverte@inria.fr