Number of the records: 1  

Safety Verification for Probabilistic Hybrid Systems

    1.
    SYSNO0388817
    TitleSafety Verification for Probabilistic Hybrid Systems
    Author(s) Zhang, J. (DK)
    She, Z. (CN)
    Ratschan, Stefan (UIVT-O) SAI, RID, ORCID
    Hermanns, H. (DE)
    Hahn, E.M. (DE)
    Source Title European Journal of Control. Roč. 18, č. 6 (2012), s. 572-587
    Document TypeČlánek v odborném periodiku
    Grant OC10048 GA MŠMT - Ministry of Education, Youth and Sports (MEYS)
    GC201/08/J020 GA ČR - Czech Science Foundation (CSF)
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    Languageeng
    CountryGB
    Keywords model checking * hybrid systems * formal verification
    Permanent Linkhttp://hdl.handle.net/11104/0217724
     
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all