Department head, Department of Computer Science
Office: A410
Botanická 554/68a
602 00 Brno
| Phone: | +420 549 49 3890 |
|---|---|
| E‑mail: |
|
| social and academic networks: |
|---|
Total number of publications: 122
Electronic Notes in Theoretical Computer Science, year: 2007, volume: 182, edition: 1
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, year: 2007
Year: 2007
Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07), year: 2007
Formal Methods for Components and Objects, year: 2006
Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'06), year: 2006
Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering, year: 2006, volume: 31, edition: 2
Year: 2006, type: R&D Presentation
Formal Methods in System Design, year: 2006, volume: 29, edition: 2
Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation, year: 2006