Search results

  1. 1.
    0085627 - ÚI 2008 CZ eng D - Thesis
    Adámek, Jiří
    Behavior Composition in Component Systems.
    [Kompozice chování v komponentových systémech.]
    Prague: Charles University, Faculty of Mathematics and Physics, 2006. 94 s.
    R&D Projects: GA AV ČR 1ET400300504; GA ČR GA201/03/0911; GA ČR GA102/03/0672
    Keywords : software components * formal verification * behavior composition * behavior protocols
    Permanent Link:

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