Number of the records: 1  

Symbolic-Numeric Problems in the Automatic Analysis and Verification of Cyber-Physical Systems

  1. SYS0334000
    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  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.