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(s)

Lafortune, S; Lin, F; Tilbury, D

Document Type

Proceedings Paper

Year published

2006

Published

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

Pages: 407-412 (6)

Conference

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

Indexing