Počet záznamů: 1  

Constraints for Continuous Reachability in the Verification of Hybrid Systems

    1.
    SYSNO0339966
    NázevConstraints for Continuous Reachability in the Verification of Hybrid Systems
    Tvůrce(i) Ratschan, Stefan (UIVT-O) SAI, RID, ORCID
    She, Z. (DE)
    Zdroj.dok. Artificial Intelligence and Symbolic Computation. S. 196-210. - Berlin : Springer, 2006 / Calmet J. ; Ida T. ; Wang D.
    Konference AISC 2006. International Conference on Artificial Intelligence and Symbolic Computation /8./, Beijing, 20.09.2006-22.09.2006
    Druh dok.Konferenční příspěvek (zahraniční konf.)
    Grant SFB/TR 14 AVACS, DE - Německo
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    Jazyk dok.eng
    Země vyd.DE
    Klíč.slova hybrid systems * verification * constraint solving
    Trvalý linkhttp://hdl.handle.net/11104/0183323
     
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.

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