Počet záznamů: 1
Constraints for Continuous Reachability in the Verification of Hybrid Systems
SYS 0339966 LBL 02046^^^^^2200301^^^450 005 20240103193209.7 014 $a 000242127700016 $2 WOS 014 $a 33749619997 $2 SCOPUS 017 7-
$a 10.1007/11856290_18 $2 DOI 100 $a 20100303d m y slo 03 ba 101 0-
$a eng $d eng 102 $a DE 200 1-
$a Constraints for Continuous Reachability in the Verification of Hybrid Systems 215 $a 15 s. 463 -1
$1 001 cav_un_epca*0340123 $1 010 $a 3-540-39728-0 $1 200 1 $a Artificial Intelligence and Symbolic Computation $v S. 196-210 $1 210 $a Berlin $c Springer $d 2006 $1 225 $a Lecture Notes in Artificial Intelligence $v 4120 $1 702 1 $a Calmet $b J. $4 340 $1 702 1 $a Ida $b T. $4 340 $1 702 1 $a Wang $b D. $4 340 610 0-
$a hybrid systems 610 0-
$a verification 610 0-
$a constraint solving 700 -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*0218662 $a She $b Z. $y DE $4 070
Počet záznamů: 1