Počet záznamů: 1
Simulation Based Computation of Certificates for Safety of Dynamical Systems
SYS 0477866 LBL 01000a^^22220027750^450 005 20240103214505.9 014 $a 85029501691 $2 SCOPUS 017 $a 10.1007/978-3-319-65765-3_17 $2 DOI 100 $a 20170913d m y slo 03 ba 101 $a eng 102 $a CH 200 1-
$a Simulation Based Computation of Certificates for Safety of Dynamical Systems 215 $a 15 s. $c P 463 -1
$1 001 cav_un_epca*0477865 $1 010 $a 978-3-319-65764-6 $1 011 $a 0302-9743 $1 200 1 $a Formal Modeling and Analysis of Timed Systems $f red. A. Abbate, G. Geeraerts $v S. 303-317 $1 210 $a Cham $c Springer $d 2017 $1 225 $a Lecture Notes in Computer Science $v 10419 $1 702 1 $a Abbate $b A. $4 340 $1 702 1 $a Geeraerts $b G. $4 340 610 $a formal verification 610 $a dynamical systems 700 -1
$3 cav_un_auth*0218448 $a Ratschan $b Stefan $i Oddělení výpočetní matematiky $j Department of Computational Mathematics $p UIVT-O $w Department of Computational Mathematics $y AT $T Ústav informatiky AV ČR, v. v. i.
Počet záznamů: 1