Safety Verification for Probabilistic Hybrid Systems

Počet záznamů: 1

1.

SYSNO	0351300
Název	Safety Verification for Probabilistic Hybrid Systems
Tvůrce(i)	Zhang, L. (DK) She, Z. (CN) Ratschan, Stefan (UIVT-O)_{SAI, RID, ORCID} Hermanns, H. (DE) Hahn, E.M. (DE)
Zdroj.dok.	CAV 2010. Computer Aided Verification. S. 196-211. - Berlin : Springer, 2010 / Touili T. ; Cook B. ; Jackson P.
Konference	CAV 2010. International conference on Computer Aided Verification /55./, Edinburgh, 15.07.2010-19.07.2010
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	GC201/08/J020 GA ČR - Grantová agentura ČR
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Jazyk dok.	eng
Země vyd.	DE
Klíč.slova	verification * hybrid dynamical systems
Trvalý link	http://hdl.handle.net/11104/0191084

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	a0351300.pdf	0	315.5 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1