Author/Creator: Bouzon, Gustavo - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Bouzon, Gustavo

1. Supervisory control of discrete event systems with distinguishers. (June 2015)

Authors:: Cury, José E.R.; de Queiroz, Max Hering; Bouzon, Gustavo; Teixeira, Marcelo
Journal:: Automatica
Issue:: Volume 56(2015)
Page Start:: 93
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Using Visual Specifications in Verification of Industrial Automation Controllers. (19th November 2007)

Authors:: Vyatkin, Valeriy; Bouzon, Gustavo
Other Names:: Lastra Jose L. Martinez Academic Editor.
Journal:: EURASIP journal on embedded systems
Issue:: Volume 2008(2008)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗