Masaryk University

Publication Records

česky | in English

Filter publications

    2008

    1. ZIMMEROVÁ, Barbora. Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction. Czech Republic: Masaryk University, Faculty of Informatics, 2008. PhD thesis.

    2006

    1. BRIM, Luboš, Ivana ČERNÁ, Pavlína VAŘEKOVÁ and Barbora ZIMMEROVÁ. Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering. [New York, N.Y.?]: ACM, 2006, vol. 31, No 2, p. 1-8. ISSN 0163-5948.
    2. ZIMMEROVÁ, Barbora. Formal Analysis of Component-Based Systems in View of Comp. Interactions. In Proceedings of the International Research Training Groups Workshop 2006. Berlin, Germany: GITO-Verlag, 2006, p. 34-36. ISBN 3-936771-87-1.

    2005

    1. BRIM, Luboš, Ivana ČERNÁ, Pavlína VAŘEKOVÁ and Barbora ZIMMEROVÁ. Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. In Proceedings of SAVCBS 2005. Ames, USA: Department of Computer Science, Iowa State University, 2005, p. 31-38.
Display details
Displayed: 20/7/2024 06:20