. "IFM 2005 Doctoral Symposium on Integrated Formal Methods" . . "[BEA13410011A]" . "Component-Interaction Automata for Specification and Verification of Component Interactions" . . "0926-4515" . "516022" . "Component-Interaction Automata for Specification and Verification of Component Interactions"@en . "71" . "Component-Interaction Automata for Specification and Verification of Component Interactions" . "Component-Interaction automaty pro specifikaci a verifikaci interakc\u00ED mezi komponentami"@cs . "Component-Interaction automaty pro specifikaci a verifikaci interakc\u00ED mezi komponentami"@cs . "Technische Universiteit Eindhoven (TU/e)" . . . . "The paper presents an automata-based language, Component-Interaction automata, designed for specification of component interactions in hierarchical component-based software systems. The language aims to provide a direct and desirable way of modelling component interactions which is meant to be transparent and understandable thanks to the orientation to component-based systems and their specifics." . . . "RIV/00216224:14330/05:00013242" . "\u010Cl\u00E1nek p\u0159edstavuje jazyk Component-Interaction automat\u016F, kter\u00FD je navr\u017Een pro specifikaci interakc\u00ED mezi komponentami v hierarchick\u00FDch komponentov\u00FDch softwarov\u00FDch syst\u00E9mech. Tento jazyk si klade za c\u00EDl poskytnout n\u00E1stroj pro modelov\u00E1n\u00ED interakc\u00ED mezi komponentami, kter\u00FD bude transparentn\u00ED a srozumiteln\u00FD d\u00EDky zohledn\u011Bn\u00ED specifik komponentov\u00FDch syst\u00E9m\u016F."@cs . . . . . "5"^^ . "14330" . "The paper presents an automata-based language, Component-Interaction automata, designed for specification of component interactions in hierarchical component-based software systems. The language aims to provide a direct and desirable way of modelling component interactions which is meant to be transparent and understandable thanks to the orientation to component-based systems and their specifics."@en . . "Component-Interaction Automata for Specification and Verification of Component Interactions"@en . "Zimmerov\u00E1, Barbora" . "Component-Interaction automata; specification; verification; component-based systems"@en . "2"^^ . "P(1ET400300504), P(GD102/05/H050), Z(MSM0021622419)" . "2"^^ . "Eindhoven, The Netherlands" . "Eindhoven, The Netherlands" . . . . . . "Va\u0159ekov\u00E1, Pavl\u00EDna" . "RIV/00216224:14330/05:00013242!RIV06-AV0-14330___" . . "2005-11-29+01:00"^^ . . .