Logic Controllers Dependability Verification Using a Plant Model

AuthID
P-007-R2W
5
Author(s)
Denis, B
·
Lesage, JJ
·
Faure, JM
·
Ferreira Da Silva, JCL
Tipo de Documento
Proceedings Paper
Year published
2006
Publicado
in IFAC Proceedings Volumes (IFAC-PapersOnline), ISSN: 1474-6670
Volume: 3, Número: PART 1, Páginas: 37-42
Conference
3Rd Ifac Workshop on Discrete-Event System Design, Desdes'06, Date: 26 September 2006 through 28 September 2006, Location: Rydzyna, Patrocinadores: International Federation of Automatic Control (IFAC);IFAC Technical Committee on Computers for Control;Pol. Soc. Meas., Autom. Control Rob. (POLSPAR);Polish IFAC National Member Organization;Polish Ministry of Science and Higher Education (MNiSW)
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-70349382106
Source Identifiers
ISSN: 1474-6670
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.