Number of the records: 1  

Symbolic-Numeric Problems in the Automatic Analysis and Verification of Cyber-Physical Systems

  1. 1.
    SYSNO0334000
    TitleSymbolic-Numeric Problems in the Automatic Analysis and Verification of Cyber-Physical Systems
    TitleSymbolické-numerické problémy v automatické analýze a verifikaci kyber-fyzikálních systémů
    Author(s) Ratschan, Stefan (UIVT-O) SAI, RID, ORCID
    Source Title SNC '09: Proceedings of the 2009 conference on Symbolic numeric computation. S. 7-7. - New York : ACM, 2009 / Kai H. ; Sekigawa H.
    Conference SNC2009. International Workshop on Symbolic-Numeric Computation /3./, 03.08.2009-05.08.2009, Kyoto
    Document TypeAbstrakt
    Grant GC201/08/J020 GA ČR - Czech Science Foundation (CSF)
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    Languageeng
    CountryUS
    Keywords algorithms * design * reliability * verification
    URLhttps://dl.acm.org/doi/proceedings/10.1145/1577190#sec1
    Permanent Linkhttp://hdl.handle.net/11104/0178847
     
Number of the records: 1  

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