Safety Verification By Interval Based Quantified Constraint Solving,

Počet záznamů: 1

1.

SYSNO	0473970
Název	Safety Verification By Interval Based Quantified Constraint Solving,
Tvůrce(i)	Franek, Peter (UIVT-O)_RID Kuřátko, Jan (UIVT-O)_{RID, SAI, ORCID} Ratschan, Stefan (UIVT-O)_{SAI, RID, ORCID}
Zdroj.dok.	SCAN 2016. Book of Abstracts. S. 107-108. - Uppsala University, 2016
Konference	SCAN 2016. International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics /17./, 26.09.2016 - 29.09.2016, Uppsala
Druh dok.	Abstrakt
Grant	GA15-14484S GA ČR - Grantová agentura ČR
Institucionální podpora	UIVT-O - RVO:67985807
Jazyk dok.	eng
Země vyd.	SE
Klíč.slova	ordinary differential equations * safety verification * constraints * constraint solving
Trvalý link	http://hdl.handle.net/11104/0271070

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	a0473970.pdf	0	2 MB		Vydavatelský postprint	povolen

Počet záznamů: 1