Explore Research
Projects
People
Partnerships
Publications
News and events
News
Events
Research Days
Blog
Magazine
Tomáš Vojnar
https://www.fit.vut.cz/person/vojnar/.en
View people
Vice Dean for Science and Research, Brno University of Technology
Research Areas
Testing and Ops
RIG(s)
Europe
Partner Universities
Brno University of Technology
Related Projects
AUFOVER: The Automation of Formal Verification
Perun: Lightweight Performance Version System