Počet záznamů: 1
Safety Verification for Probabilistic Hybrid Systems
SYS 0351300 LBL 02079^^^^^2200217^^^450 005 20240103194313.9 014 $a 000281446200020 $2 WOS 014 $a 77954990493 $2 SCOPUS 017 7-
$a 10.1007/978-3-642-14295-6_21 $2 DOI 100 $a 20101208d m y slo 03 ba 101 0-
$a eng 102 $a DE 200 1-
$a Safety Verification for Probabilistic Hybrid Systems 215 $a 16 s. 463 -1
$1 001 cav_un_epca*0351299 $1 010 $a 978-3-642-14294-9 $1 011 $a 0302-9743 $1 200 1 $a CAV 2010. Computer Aided Verification $v S. 196-211 $1 210 $a Berlin $c Springer $d 2010 $1 225 $a Lecture Notes in Computer Science $v 6174 $1 702 1 $a Touili $b T. $4 340 $1 702 1 $a Cook $b B. $4 340 $1 702 1 $a Jackson $b P. $4 340 610 0-
$a verification 610 0-
$a hybrid dynamical systems 700 -1
$3 cav_un_auth*0266699 $a Zhang $b L. $y DK $4 070 701 -1
$3 cav_un_auth*0243613 $a She $b Z. $y CN $4 070 701 -1
$3 cav_un_auth*0218448 $a Ratschan $b Stefan $i Oddělení výpočetních metod $j Department of Computational Methods $p UIVT-O $w Department of Computational Mathematics $4 070 $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0266700 $a Hermanns $b H. $y DE $4 070 701 -1
$3 cav_un_auth*0266701 $a Hahn $b E.M. $y DE $4 070
Počet záznamů: 1