Počet záznamů: 1
How to Capture Hybrid Systems Evolution into Slices of Parallel Hyperplanes
SYS 0333950 LBL 01023^^^^^2200205^^^450 005 20240103192540.3 014 $a 79960960760 $2 SCOPUS 100 $a 20091216d m y slo 03 ba 101 0-
$a eng 102 $a ES 200 1-
$a How to Capture Hybrid Systems Evolution into Slices of Parallel Hyperplanes 215 $a 5 s. 463 -1
$1 001 cav_un_epca*0333946 $1 200 1 $a ADHS'09. Preprints of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems $v S. 274-279 $1 210 $a Zaragoza $c Universidad de Zaragoza $d 2009 $1 702 1 $a Giua $b A. $4 340 $1 702 1 $a Mahulea $b C. $4 340 $1 702 1 $a Silva $b M. $4 340 $1 702 1 $a Zaytoon $b J. $4 340 541 1-
$a Jak zachytit evoluci hybridních systémů do řezů paralelních hyper-rovnic $z cze 610 0-
$a verification 610 0-
$a hybrid systems 610 0-
$a timed automata 700 -1
$3 cav_un_auth*0242279 $a Dzetkulič $b Tomáš $p UIVT-O $4 070 $T Ústav informatiky AV ČR, v. v. i. 701 -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.
Počet záznamů: 1