Dean, Faculty of Informatics
Office: A409
Botanická 554/68a
602 00 Brno
| Phone: | +420 549 49 3507 |
|---|---|
| E‑mail: |
|
| social and academic networks: |
|---|
Total number of publications: 135
Proceedings of the 5th International Workshop on Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006), year: 2006
Formal Methods for Components and Objects, year: 2005
Year: 2005, number of pages: 170 s.
In proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05), year: 2005
Proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05), year: 2005
Electronical Notes in Theoretical Computer Science, year: 2005, volume: 2005, edition: 133
Year: 2004, number of pages: 57 s.
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004), year: 2004
Electronic Notes in Theoretical Computer Science, year: 2003, volume: Volume 80, edition: 1
18th IEEE International Conference on Automated Software Engineering (ASE'03), year: 2003