Výsledky vyhledávání
- 1.0085627 - ÚI 2008 CZ eng D - Dizertace
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.
Grant CEP: GA AV ČR 1ET400300504; GA ČR GA201/03/0911; GA ČR GA102/03/0672
Klíčová slova: software components * formal verification * behavior composition * behavior protocols
Trvalý link: http://hdl.handle.net/11104/0148095 - 2.0079012 - ÚI 2007 CZ eng D - Dizertace
Bureš, Tomáš
Generating Connectors for Homogeneous and Heterogeneous Deployment.
Prague: Charles University, Faculty of Mathematics and Physics, 2006. 135 s. Doctoral Thesis.
Grant CEP: GA ČR GA201/03/0911; GA ČR GA102/03/0672; GA AV ČR 1ET400300504
Trvalý link: http://hdl.handle.net/11104/0143913