Basket

  1. 1.
    0477866 - ÚI 2018 RIV CH eng C - Conference Paper (international conference)
    Ratschan, Stefan
    Simulation Based Computation of Certificates for Safety of Dynamical Systems.
    Formal Modeling and Analysis of Timed Systems. Cham: Springer, 2017 - (Abbate, A.; Geeraerts, G.), s. 303-317. Lecture Notes in Computer Science, 10419. ISBN 978-3-319-65764-6. ISSN 0302-9743.
    [FORMATS 2017. International Conference /15./. Berlin (DE), 05.09.2017-07.09.2017]
    R&D Projects: GA ČR GA15-14484S
    Institutional support: RVO:67985807
    Keywords : formal verification * dynamical systems
    OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Permanent Link: http://hdl.handle.net/11104/0274082
    FileDownloadSizeCommentaryVersionAccess
    a0477866.pdf0270.6 KBPublisher’s postprintrequire
     
     

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