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: http://hdl.handle.net/11104/0148095