Number of the records: 1
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
SYS 0333922 LBL 01711^^^^^2200241^^^450 005 20240103192538.5 014 $a 000272046300012 $2 WOS 014 $a 70350365903 $2 SCOPUS 017 7-
$a 10.1007/978-3-642-02949-3_12 $2 DOI 100 $a 20091216d m y slo 03 ba 101 0-
$a eng 102 $a DE 200 1-
$a Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate 215 $a 16 s. 463 -1
$1 001 cav_un_epca*0333921 $1 010 $a 978-3-642-02948-6 $1 200 1 $a Tests and Proofs $v S. 153-168 $1 210 $a Berlin $c Springer $d 2009 $1 225 $a Lecture Notes in Computer Science $v 5668 $1 702 1 $a Dubois $b C. $4 340 541 1-
$a Hledání chyb hybridních systémů pomocí optimalizace odhadu kvality podle abstrakce $z cze 610 0-
$a hybridní dynamické systémy 610 0-
$a hledání chyb 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. 701 -1
$3 cav_un_auth*0219325 $a Smaus $b J.G. $y DE $4 070
Number of the records: 1