Basket

    1.
    0473970 - ÚI 2018 SE eng A - Abstract
    Franek, Peter - Kuřátko, Jan - Ratschan, Stefan
    Safety Verification By Interval Based Quantified Constraint Solving,.
    SCAN 2016. Book of Abstracts. Uppsala University, 2016. s. 107-108.
    [SCAN 2016. International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics /17./. 26.09.2016-29.09.2016, Uppsala]
    R&D Projects: GA ČR GA15-14484S
    Institutional support: RVO:67985807
    Keywords : ordinary differential equations * safety verification * constraints * constraint solving
    Permanent Link: http://hdl.handle.net/11104/0271070
    FileDownloadSizeCommentaryVersionAccess
    a0473970.pdf02 MBPublisher’s postprintopen-access
     
     

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

Accept allSettingsReject all