Incremental Computation of Succinct Abstractions for Hybrid Systems

Počet záznamů: 1

1.

SYSNO	0365291
Název	Incremental Computation of Succinct Abstractions for Hybrid Systems
Tvůrce(i)	Dzetkulič, Tomáš (UIVT-O) Ratschan, Stefan (UIVT-O)_{SAI, RID, ORCID}
Zdroj.dok.	Formal Modeling and Analysis of Timed Systems. S. 271-285. - Berlin : Springer, 2011 / Fahrenberg U. ; Tripakis s.
Konference	FORMATS 2011. International Conference on Formal Modeling and Analysis of Timed Systems /9./, Aalborg, 21.09.2011-23.09.2011
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	GC201/08/J020 GA ČR - Grantová agentura ČR
	GD201/09/H057 GA ČR - Grantová agentura ČR
	OC10048 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Jazyk dok.	eng
Země vyd.	DE
Klíč.slova	abstraction * incremental refinement * hybrid system * safety property
Trvalý link	http://hdl.handle.net/11104/0200568

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

Počet záznamů: 1