Number of the records: 1  

Metody pro tvorbu a ověřování komponentových systémů ze specifikací v přirozeném jazyce

  1. 1.
    ProjectMetody pro tvorbu a ověřování komponentových systémů ze specifikací v přirozeném jazyce
    Project NameGAP103/11/1489
    Funding Provider - OthersGA AV ČR
    Grant RecipientUniverzita Karlova v Praze / Matematicko-fyzikální fakulta
    Catal.org.CAV
    References (4) - Konferenční příspěvek (zahraniční konference)
    (2) - Článek v odborném časopise
    (1) - 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.