Publicações

A Generic Approach to Build Plant Models for Des Verification Purposes

AuthID
P-004-QX9

Author(s)

Machado, J

Denis, B

Lesage, JJ

Editor(es)

Lafortune, S; Lin, F; Tilbury, D

Tipo de Documento

Proceedings Paper

Year published

2006

Publicado

in WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS

Páginas: 407-412 (6)

Conference

8Th International Workshop on Discrete Event Systems, Date: JUL 10-12, 2006, Location: Ann Arbor, MI, Patrocinadores: Univ Michigan, Wayne State Univ, US Natl Sci Fdn, IEEE Control Syst Soc, Honeywell, HP Labs, Rockwell Sci, United Technol Res Ctr

Indexing