Safety Verification By Interval Based Quantified Constraint Solving,

Počet záznamů: 1

1.

SYSNO ASEP	0473970
Druh ASEP	A - Abstrakt
Zařazení RIV	Záznam nebyl označen do RIV
Zařazení RIV	Není vybrán druh dokumentu
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. - Uppsala University, 2016 S. 107-108
Poč.str.	2 s.
Akce	SCAN 2016. International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics /17./
Datum konání	26.09.2016 - 29.09.2016
Místo konání	Uppsala
Země	SE - Švédsko
Typ akce	WRD
Jazyk dok.	eng - angličtina
Země vyd.	SE - Švédsko
Klíč. slova	ordinary differential equations ; safety verification ; constraints ; constraint solving
CEP	GA15-14484S GA ČR - Grantová agentura ČR
Institucionální podpora	UIVT-O - RVO:67985807
Pracoviště	Ústav informatiky
Kontakt	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Rok sběru	2018

Počet záznamů: 1