Počet záznamů: 1
Verification of Hybrid Systems Using Slices of Parallel Hyperplanes
- 1.0328858 - ÚI 2010 CZ eng A - Abstrakt
Dzetkulič, Tomáš
Verification of Hybrid Systems Using Slices of Parallel Hyperplanes.
Doktorandské dny '09. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2009 - (Kuželová, D.). s. 21-21. ISBN 978-80-7378-087-6.
[Doktorandské dny 2009 Ústavu informatiky AV ČR, v. v. i. 21.09.2009-23.09.2009, Jizerka]
Grant CEP: GA ČR GC201/08/J020
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: hybrid dynamical systems * verification
Trvalý link: http://hdl.handle.net/11104/0175058
Název souboru Staženo Velikost Komentář Verze Přístup 0328858.pdf 0 39.3 KB Vydavatelský postprint povolen
Počet záznamů: 1