Simulation Based Computation of Certificates for Safety of Dynamical Systems

Počet záznamů: 1

1.

SYSNO	0477866
Název	Simulation Based Computation of Certificates for Safety of Dynamical Systems
Tvůrce(i)	Ratschan, Stefan (UIVT-O)_{SAI, RID, ORCID}
Zdroj.dok.	Formal Modeling and Analysis of Timed Systems. S. 303-317. - Cham : Springer, 2017 / Abbate A. ; Geeraerts G.
Konference	FORMATS 2017. International Conference /15./, 05.09.2017-07.09.2017, Berlin
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	GA15-14484S GA ČR - Grantová agentura ČR
Institucionální podpora	UIVT-O - RVO:67985807
Jazyk dok.	eng
Země vyd.	CH
Klíč.slova	formal verification * dynamical systems
Trvalý link	http://hdl.handle.net/11104/0274082

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

Počet záznamů: 1