Number of the records: 1  

Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate

    1.
    SYSNO0333922
    TitleFinding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
    TitleHledání chyb hybridních systémů pomocí optimalizace odhadu kvality podle abstrakce
    Author(s) Ratschan, Stefan (UIVT-O) SAI, RID, ORCID
    Smaus, J.G. (DE)
    Source Title Tests and Proofs. S. 153-168. - Berlin : Springer, 2009 / Dubois C.
    Conference TAP 2009. International Conference on Tests and Proofs /3./, Zurich, 02.07.2009-03.07.2009
    Document TypeKonferenční příspěvek (zahraniční konf.)
    Grant GC201/08/J020 GA ČR - Czech Science Foundation (CSF)
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    Languageeng
    CountryDE
    Keywords hybridní dynamické systémy * hledání chyb
    Permanent Linkhttp://hdl.handle.net/11104/0178787
     
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