Number of the records: 1
Barrifier
SYS 0502373 LBL 01000a^^22220027750^450 005 20240103221718.6 100 $a 20190307d m y slo 03 ba 101 $a eng 102 $a CZ 200 1-
$a Barrifier 210 $d 2018 610 $a safety verification 610 $a software 610 $a barrier certificates 610 $a numerical optimization 610 $a Barrifier 700 -1
$3 cav_un_auth*0218448 $a Ratschan $b Stefan $p UIVT-O $i Oddělení výpočetní matematiky $j Department of Computational Mathematics $w Department of Computational Mathematics $y AT $T Ústav informatiky AV ČR, v. v. i. 856 $u https://www.cs.cas.cz/~ratschan/barrifier/ $9 RIV
Number of the records: 1