Approximate Model Checking of Stochastic Hybrid Systems : Stochastic Hybrid Systems

Bibliographische Detailangaben

Veröffentlicht in:	European journal of control 2010, Vol.16 (6), p.624-641
Hauptverfasser:	ABATE, Alessandro, KATOEN, Joost-Pieter, LYGEROS, John, PRANDINI, Maria
Format:	Artikel
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Computer systems performance. Reliability Exact sciences and technology Software
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!