"2006-11-06+01:00"^^ . . . . "3-936771-87-1" . "RIV/00216224:14330/06:00015552" . "The work focuses on three analytical issues in current component-based software engineering. These are the reconfiguration correctness, assembly strategies, and component placement in distributed environment." . . "Formal Analysis of Component-Based Systems in View of Comp. Interactions"@en . . "Berlin, Germany" . "Proceedings of the International Research Training Groups Workshop 2006" . "RIV/00216224:14330/06:00015552!RIV10-GA0-14330___" . . "Dagstuhl, Germany" . "14330" . "The work focuses on three analytical issues in current component-based software engineering. These are the reconfiguration correctness, assembly strategies, and component placement in distributed environment."@en . . "component-based systems; formal analysis; component interaction"@en . "GITO-Verlag" . . "Formal Analysis of Component-Based Systems in View of Comp. Interactions" . . . "B\u00FChnov\u00E1, Barbora" . . . . . . "1"^^ . "1"^^ . . . "[E363304CF9FD]" . "Formal Analysis of Component-Based Systems in View of Comp. Interactions" . . "476152" . "P(1ET400300504), P(GD102/05/H050), Z(MSM0021622419)" . "Formal Analysis of Component-Based Systems in View of Comp. Interactions"@en . . "3"^^ .