Number of the records: 1
Verification of Hybrid Systems Using Slices of Parallel Hyperplanes
- 1.0328858 - ÚI 2010 CZ eng A - Abstract
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]
R&D Projects: GA ČR GC201/08/J020
Institutional research plan: CEZ:AV0Z10300504
Keywords : hybrid dynamical systems * verification
Permanent Link: http://hdl.handle.net/11104/0175058
File Download Size Commentary Version Access 0328858.pdf 0 39.3 KB Publisher’s postprint open-access
Number of the records: 1