Výsledky vyhledávání

Nalezeno záznamů: 4  
Váš dotaz: Autor-kód záznamu + druh.dok = "^cav_un_auth 0218448 230g^"
 V košíku (0)
  1. 1.
    ProjektEfektivní zacházení s nelineárními numerickými omezeními vyskytujícími se v automatické dedukci o bohatých modelech počítačových systémů.
    Název projektuOC10048
    PoskytovatelGA MŠk
    Doba řešení2010 - 2012
    Příjemce projektu Ústav informatiky AV ČR, v. v. i.
    (Spolu)řešitel projektu Ratschan
    Katal.org.CAV
    Odkazy (1) - Abstrakt
    (4) - Konferenční příspěvek (zahraniční konference)
    (3) - Článek v odborném časopise
    (1) - Software
    SouborProjekty
  2. 2.
    ProjektIntegrovaná verifikace a falzifikace hybridních systémů průmyslové velikosti
    Název projektuGCP202/12/J060
    PoskytovatelGA ČR
    Doba řešení2012 - 2014
    Příjemce projektu Ústav informatiky AV ČR, v. v. i.
    (Spolu)řešitel projektu Ratschan
    Katal.org.CAV
    Odkazy (3) - Abstrakt
    (1) - Konferenční příspěvek (zahraniční konference)
    (4) - Článek v odborném časopise
    SouborProjekty
  3. 3.
    ProjektVerifikace hybridních systémů využitím spolupráce s řešením omezujících podmínek
    Název projektuGC201/08/J020
    PoskytovatelGA ČR
    Doba řešení2008 - 2010
    Příjemce projektu Ústav informatiky AV ČR, v. v. i.
    (Spolu)řešitel projektu Ratschan
    Katal.org.CAV
    Odkazy (3) - Abstrakt
    (6) - Konferenční příspěvek (zahraniční konference)
    (16) - Článek v odborném časopise
    (2) - Konferenční příspěvek (tuzemská konference)
    (8) - Výzkumná zpráva
    SouborProjekty
  4. 4.
    ProjektVýpočet robustních invariantů hybridních dynamických systémů s využitím simulací
    Název projektuGA15-14484S
    PoskytovatelGA ČR
    Doba řešení2015 - 2017
    Příjemce projektu Ústav informatiky AV ČR, v. v. i.
    (Spolu)řešitel projektu Ratschan
    Katal.org.CAV
    Odkazy (2) - Abstrakt
    (2) - Konferenční příspěvek (zahraniční konference)
    (5) - Článek v odborném časopise
    (1) - Konferenční příspěvek (tuzemská konference)
    (1) - Software
    SouborProjekty


  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