Počet záznamů: 1  

Verification of Hybrid Systems Using Slices of Parallel Hyperplanes

  1. 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 souboruStaženoVelikostKomentářVerzePřístup
    0328858.pdf039.3 KBVydavatelský postprintpovolen
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.