Concepedia

Barbora Zimmerová

BZ

3

Publications

124

Citations

3

H-Index

2005

Active since

Affiliations

Masaryk University(Current)

Barbora Zimmerová is an author at Masaryk University specializing in system software, verification, and automated reasoning.

Top concepts

Publications per year

2005–2007

3

Publications

3

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

Luboš Brim, Ivana Černá, Pavlína Vařeková et al. · ACM SIGSOFT Software Engineering Notes · 2005 · 69 citations

, , +17

Component Substitutability via Equivalencies of Component-Interaction Automata

Ivana Černá, Pavlína Vařeková, Barbora Zimmerová · Electronic Notes in Theoretical Computer Science · 2007 · 37 citations · Full text

, , +20

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

Luboš Brim, Ivana Černá, Pavlína Vařeková et al. · 2005 · 18 citations

, , +17

Rows per page

1–3 of 3