Počet záznamů: 1  

Safety Verification of Non-linear Hybrid Systems is Quasi-Semidecidable

  1. 1.
    SYSNO0344069
    NázevSafety Verification of Non-linear Hybrid Systems is Quasi-Semidecidable
    Tvůrce(i) Ratschan, Stefan (UIVT-O) SAI, RID, ORCID
    Zdroj.dok. Theory and Applications of Models of Computation. S. 397-408. - Berlin : Springer, 2010 / Kratochvíl J. ; Li A. ; Fiala J. ; Kolman P.
    Konference TAMC 2010. Theory and Applications of Models of Computation Annual Conference /7./, Prague,, 07.06.2010-11.06.2010
    Druh dok.Konferenční příspěvek (zahraniční konf.)
    Grant GC201/08/J020 GA ČR - Grantová agentura ČR
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    Jazyk dok.eng
    Země vyd.DE
    Klíč.slova verification * hybrid systems * decidebility
    Trvalý linkhttp://hdl.handle.net/11104/0186379
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0344069.pdf0198.7 KBVydavatelský postprintvyžádat
     
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.