Výsledky vyhledávání

0364971 - ÚI 2012 CZ eng A - Abstrakt
Dzetkulič, Tomáš
Incremental Computation of Succinct Abstractions for Hybrid Systems.
Doktorandské dny '11. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2011 - (Kuželová, D.; Hakl, F.). s. 19. ISBN 978-80-7378-170-5.
[Doktorandské dny 2011 Ústavu informatiky AV ČR, v. v. i. 05.10.2011-07.10.2011, Jizerka]
Grant CEP: GA ČR GC201/08/J020; GA ČR GD201/09/H057; GA MŠMT OC10048
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: abstraction * incremental refinemen * hybrid system * safety property
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0200321