Barbora Zimmerova

Challenge Problem: Subject-Observer Specification with Component-Interaction Automata

Pavlína Vaÿ, Barbora Zimmerova, 2007 .

Component-Interaction Automata for Specification and Verification of Component Interactions

Barbora Zimmerova, Pavlína Vařeková, 2005 .

Component-Interaction Automata Modelling Language

Ivana Černá, Barbora Zimmerova, Pavlína Vařeková, 2006 .

Component-interaction automata as a verification-oriented component-based system specification

Ivana Černá, Luboš Brim, Barbora Zimmerova, 2006 .

The CoIn Tool: Modelling and Verification of Interactions inComponent-Based Systems

Jiří Sochor, Nikola Beneš, Ivana Černá, 2008 .

Component-interaction automata as a verification-oriented component-based system specification

Ivana Černá, Luboš Brim, Barbora Zimmerova, 2005, SAVCBS '05.

7 Component-Interaction Automata Approach ( CoIn )

Nikola Beneš, Ivana Černá, Luboš Brim, .