Automated verification and control of large-scale stochastic cyber-physical systems: compositional techniques

Dissertation, Technische Universität München, 2019

Bibliographische Detailangaben

1. Verfasser:	Lavaei, Abolfazl (VerfasserIn)
Körperschaft:	Technische Universität München (Grad-verleihende Institution)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	München 2019
Schlagworte:	Hochschulschrift > Elektrotechnik > Cyber-physisches System
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!