Zeitschriften
Bücher
Diplomarbeiten
Dissertationen
Wissensbilanz
Login
Hauptmenü
TUGraz DIGITAL Library
WISSEN
TECHNIK
LEIDENSCHAFT
diglib
/
Dissertationen
/
Satisfiability-based methods for controller synthesis
Autor
Könighofer, Robert
Titel
Satisfiability-based methods for controller synthesis
Datei
[3.39 MB]
Erscheinungsjahr
2015
Beschreibung
xix, 183 Seiten
Beschreibung
Illustrationen, Diagramme
Zugriffsrechte