Košík

  1. 1.
    0333950 - ÚI 2010 RIV ES eng C - Konferenční příspěvek (zahraniční konf.)
    Dzetkulič, Tomáš - Ratschan, Stefan
    How to Capture Hybrid Systems Evolution into Slices of Parallel Hyperplanes.
    [Jak zachytit evoluci hybridních systémů do řezů paralelních hyper-rovnic.]
    ADHS'09. Preprints of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems. Zaragoza: Universidad de Zaragoza, 2009 - (Giua, A.; Mahulea, C.; Silva, M.; Zaytoon, J.), s. 274-279
    [ADHS'09. IFAC Conference on Analysis and Design of Hybrid Systems /3./. Zaragoza (ES), 16.09.2009-18.09.2009]
    Grant CEP: GA ČR GC201/08/J020; GA ČR GD201/09/H057
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: verification * hybrid systems * timed automata
    Kód oboru RIV: IN - Informatika
    Trvalý link: http://hdl.handle.net/11104/0178807
     
     

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