Number of the records: 1  

Verifikace hybridních systémů využitím spolupráce s řešením omezujících podmínek

  1. 1.
    ProjectVerifikace hybridních systémů využitím spolupráce s řešením omezujících podmínek
    Project NameGC201/08/J020
    Grant AgencyGA ČR
    Research years2008 - 2010
    Grant Recipient Ústav informatiky AV ČR, v. v. i.
    Participants Ratschan
    Catal.org.CAV
    References (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
    FileProjekty
Number of the records: 1  

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

Accept allSettingsReject all