Košík

    1.
    0461476 - ÚI 2017 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
    Ratschan, Stefan
    Computing ODE-Barriers in Hyper-Rectangles.
    Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR). Piscataway: IEEE, 2016 - (Ábrahám, E.; Bogomolov, S.), č. článku 7479380. ISBN 978-1-5090-3079-8.
    [SNR 2016. International Workshop on Symbolic and Numerical Methods for Reachability Analysis. Vienna (AT), 11.04.2016-11.04.2016]
    Grant CEP: GA ČR GA15-14484S
    Institucionální podpora: RVO:67985807
    Klíčová slova: verification * differential equations
    Kód oboru RIV: IN - Informatika
    Trvalý link: http://hdl.handle.net/11104/0261121
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0461476.pdf0221.6 KBVydavatelský postprintvyžádat
     
     

  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