Počet záznamů: 1
Safety Verification for Probabilistic Hybrid Systems
SYS 0388817 LBL 02191^^^^^2200277^^^450 005 20240103202133.7 014 $a 000314389900006 $2 WOS 014 $a 84874590818 $2 SCOPUS 017 70
$a 10.3166/EJC.18.572-587 $2 DOI 100 $a 20130201d m y slo 03 ba 101 0-
$a eng 102 $a GB 200 1-
$a Safety Verification for Probabilistic Hybrid Systems 215 $a 15 s. 463 -1
$1 001 cav_un_epca*0255905 $1 011 $a 0947-3580 $e 1435-5671 $1 200 1 $a European Journal of Control $v Roč. 18, č. 6 (2012), s. 572-587 610 0-
$a model checking 610 0-
$a hybrid systems 610 0-
$a formal verification 700 -1
$3 cav_un_auth*0288958 $a Zhang $b J. $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