doc. Ing. RNDr. Barbora Bühnová, Ph.D.
Vice-dean for external relations and cooperation with partners, Faculty of Informatics
Office: A304
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 4494 |
---|
social and academic networks: |
---|
Total number of publications: 165
2006
-
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, year: 2006, volume: 31, edition: 2
-
Component-Interaction Automata Modelling Language
Year: 2006, type: R&D Presentation
-
Formal Analysis of Component-Based Systems in View of Comp. Interactions
Proceedings of the International Research Training Groups Workshop 2006, year: 2006
2005
-
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
Proceedings of SAVCBS 2005, year: 2005
-
Component-Interaction Automata for Specification and Verification of Component Interactions
IFM 2005 Doctoral Symposium on Integrated Formal Methods, year: 2005