Košík

    1.
    0344069 - ÚI 2011 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
    Ratschan, Stefan
    Safety Verification of Non-linear Hybrid Systems is Quasi-Semidecidable.
    Theory and Applications of Models of Computation. Berlin: Springer, 2010 - (Kratochvíl, J.; Li, A.; Fiala, J.; Kolman, P.), s. 397-408. Lecture Notes in Computer Science, 6108. ISBN 978-3-642-13561-3. ISSN 0302-9743.
    [TAMC 2010. Theory and Applications of Models of Computation Annual Conference /7./. Prague, (CZ), 07.06.2010-11.06.2010]
    Grant CEP: GA ČR GC201/08/J020
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: verification * hybrid systems * decidebility
    Kód oboru RIV: IN - Informatika
    Trvalý link: http://hdl.handle.net/11104/0186379
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0344069.pdf0198.7 KBVydavatelský postprintvyžádat
     
     

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

Přijmout všeNastaveníOdmítnout vše