Efficient analysis of discrete event systems supervisor synthesis with binary decision diagrams
Zugl.: Göteborg, Univ., Diss., 2004
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | UnknownFormat |
Sprache: | eng |
Veröffentlicht: |
Göteborg
Chalmers Univ. of Technology
2004
|
Schriftenreihe: | Doktorsavhandlingar vid Chalmers Tekniska Högskola
N.S., 2177 Technical report / School of Electrical Engineering, Department of Signals and Systems, Chalmers University of Technology 487 |
Schlagworte: | |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | Zugl.: Göteborg, Univ., Diss., 2004 |
---|---|
Beschreibung: | VI, 146 S graph. Darst |
ISBN: | 9172914963 91-7291-496-3 |