Počet záznamů: 1
Safety Verification By Interval Based Quantified Constraint Solving,
SYS 0473970 LBL 01000a^^22220027750^450 005 20240103213957.7 100 $a 20170418d m y slo 03 ba 101 $a eng 102 $a SE 200 1-
$a Safety Verification By Interval Based Quantified Constraint Solving, 215 $a 2 s. 463 -1
$1 001 cav_un_epca*0473969 $1 200 1 $a SCAN 2016. Book of Abstracts $v S. 107-108 $1 210 $a Uppsala University $d 2016 610 $a ordinary differential equations 610 $a safety verification 610 $a constraints 610 $a constraint solving 700 -1
$3 cav_un_auth*0283212 $a Franek $b Peter $i Oddělení optimalizace a systémů $j Department of Optimization and Systems $p UIVT-O $w Department of Computational Mathematics $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0283616 $a Kuřátko $b Jan $i Oddělení optimalizace a systémů $j Department of Optimization and Systems $p UIVT-O $w Department of Computational Mathematics $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0218448 $a Ratschan $b Stefan $i Oddělení optimalizace a systémů $j Department of Optimization and Systems $p UIVT-O $w Department of Computational Mathematics $y AT $T Ústav informatiky AV ČR, v. v. i.
Počet záznamů: 1