Number of the records: 1  

Integrovaná verifikace a falzifikace hybridních systémů průmyslové velikosti

  1. 1.
    ProjectIntegrovaná verifikace a falzifikace hybridních systémů průmyslové velikosti
    Project NameGCP202/12/J060
    Grant AgencyGA ČR
    Research years2012 - 2014
    Grant Recipient Ústav informatiky AV ČR, v. v. i.
    Participants Ratschan
    Catal.org.CAV
    References (3) - Abstrakt
    (1) - Konferenční příspěvek (zahraniční konference)
    (4) - Článek v odborném časopise
    FileProjekty
Number of the records: 1  

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