Počet záznamů: 1  

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

  1. 1.
    ProjektMetody pro tvorbu a ověřování komponentových systémů ze specifikací v přirozeném jazyce
    Název projektuGAP103/11/1489
    Poskytovatel ostatníGA AV ČR
    Příjemce projektuUniverzita Karlova v Praze / Matematicko-fyzikální fakulta
    Katal.org.CAV
    Odkazy (4) - Konferenční příspěvek (zahraniční konference)
    (2) - Článek v odborném časopise
    (1) - Výzkumná zpráva
    SouborProjekty
Počet záznamů: 1  

  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