Number of the records: 1
Symbolic-Numeric Problems in the Automatic Analysis and Verification of Cyber-Physical Systems
SYS 0334000 LBL 01942^^^^^2200277^^^450 005 20240103192543.8 014 $a 000273427300004 $2 WOS 017 7-
$a 10.1145/1577190.1577195 $2 DOI 100 $a 20091217d m y slo 03 ba 101 0-
$a eng 102 $a US 200 1-
$a Symbolic-Numeric Problems in the Automatic Analysis and Verification of Cyber-Physical Systems 215 $a 1 s. 300 $a invited paper 463 -1
$1 001 cav_un_epca*0333999 $1 010 $a 978-1-60558-664-9 $1 200 1 $a SNC '09: Proceedings of the 2009 conference on Symbolic numeric computation $v S. 7-7 $1 210 $a New York $c ACM $d 2009 $1 702 1 $a Kai $b H. $4 340 $1 702 1 $a Sekigawa $b H. $4 340 541 1-
$a Symbolické-numerické problémy v automatické analýze a verifikaci kyber-fyzikálních systémů $z cze 610 0-
$a algorithms 610 0-
$a design 610 0-
$a reliability 610 0-
$a verification 700 -1
$3 cav_un_auth*0218448 $a Ratschan $b Stefan $p UIVT-O $w Department of Computational Mathematics $4 070 $T Ústav informatiky AV ČR, v. v. i. 856 $u https://dl.acm.org/doi/proceedings/10.1145/1577190#sec1
Number of the records: 1