0348221 - ÚI 2011 CZ eng K - Conference Paper (Czech conference)
Dzetkulič, TomášVerification of Hybrid Systems by Incremental Abstract Forward/Backward Computation.
Doktorandské dny '10. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2010 - (Kuželová, D.; Hakl, F.), s. 19-23. ISBN 978-80-7378-133-0.
[Doktorandské dny 2010 Ústavu informatiky AV ČR, v. v. i. Heřmanice v Podještědí (CZ), 29.09.2010-01.10.2010]
R&D Projects: GA ČR GD201/09/H057; GA ČR GC201/08/J020
Institutional research plan: CEZ:AV0Z10300504
Keywords : hybrid dynamical systems * verification
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0188806