Počet záznamů: 1  

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

  1. 1.
    ProjektRealistická aplikace formálních metod v komponentových systémech
    Název projektu1ET400300504
    PoskytovatelGA AV ČR
    Doba řešení2005 - 2009
    Příjemce projektu Ústav informatiky AV ČR, v. v. i.
    (Spolu)řešitel projektu Plášil
    Katal.org.CAV
    Odkazy (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
    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