Počet záznamů: 1
Verification of Hybrid Systems
- 1.0312149 - ÚI 2009 CZ eng A - Abstrakt
Dzetkulič, Tomáš
Verification of Hybrid Systems.
Doktorandské dny '08. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2008 - (Hakl, F.). s. 41-41. ISBN 978-80-7378-054-8.
[Doktorandské dny 2008 Ústavu informatiky AV ČR, v. v. i. 29.09.2008-01.10.2008, Jizerka]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: hybrid dynamical systems * verification
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0163286
Název souboru Staženo Velikost Komentář Verze Přístup 0312149.pdf 0 56.9 KB Vydavatelský postprint povolen
Počet záznamů: 1