Number of the records: 1  

Realistická aplikace formálních metod v komponentových systémech

  1. 1.
    ProjectRealistická aplikace formálních metod v komponentových systémech
    Project Name1ET400300504
    Grant AgencyGA AV ČR
    Research years2005 - 2009
    Grant Recipient Ústav informatiky AV ČR, v. v. i.
    Participants Plášil
    Catal.org.CAV
    References (19) - Konferenční příspěvek (zahraniční konference)
    (2) - Dizertace
    (6) - Článek v odborném časopise
    (1) - Konferenční příspěvek (tuzemská konference)
    (6) - 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