doc. Ing. RNDr. Barbora Bühnová, Ph.D.
proděkanka pro vnější vztahy a spolupráci s partnery Fakulty informatiky
kancelář: A304
Botanická 554/68a
602 00 Brno
telefon: | 549 49 4494 |
---|
sociální a akademické sítě: |
---|
Počet publikací: 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, rok: 2006, ročník: 31, vydání: 2
-
Component-Interaction Automata Modelling Language
Rok: 2006, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
Formal Analysis of Component-Based Systems in View of Comp. Interactions
Proceedings of the International Research Training Groups Workshop 2006, rok: 2006
2005
-
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
Proceedings of SAVCBS 2005, rok: 2005
-
Component-Interaction Automata for Specification and Verification of Component Interactions
IFM 2005 Doctoral Symposium on Integrated Formal Methods, rok: 2005