Počet záznamů: 1  

System HSOLVER

    1.
    SYSNO ASEP0042501
    Druh ASEPL - Prototyp, funkční vzorek
    Zařazení RIVG - Technicky realizované výsledky (prototyp, funkční vzorek)
    NázevSystem HSOLVER
    Překlad názvuSystém HSOLVER
    Tvůrce(i) Ratschan, Stefan (UIVT-O) SAI, RID, ORCID
    Rok vydání2006
    Int.kódHSOLVER
    Lokalizace výsledkuhsolver.sourceforge.net
    Technické parametryverifikace hybridních systémů
    Ekonomické parametryzlepšení verifikace hybridních systémů
    Název vlastníkaÚstav informatiky AV ČR
    IČ vlastníka67985807
    Kat.výsl.dle nákl.A - Vyčerpaná část nákladů <= 5 mil. Kč
    Využ. jiným subjektemA - Pro využití výsledku jiným subjektem je vždy nutné nabytí licence
    Požad. na licenč. popl.N - Poskytovatel licence nepožaduje licenční poplatek
    Jazyk dok.eng - angličtina
    Země vlastníkaCZ - Česká republika
    Klíč. slovaverification ; hybrid dynamical systems
    Vědní obor RIVIN - Informatika
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    AnotaceHSolver is a program for verification of hybrid systems based on the constraint solver RSOLVER. Unlike other packages its correctness does not depend on floating point rounding errors.
    PracovištěÚstav informatiky
    KontaktTereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
    Rok sběru2007
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