Ing. Petr Polášek

Projects

2014Reliability and Security in IT, BUT, FIT-S-14-2486, 2014-2016, completed
Research leader: Vojnar Tomáš
2007Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, GACR, GA102/07/0322, 2007-2009, completed
Research leader: Češka Milan
Team leaders: Cerhák Michal, Erlebach Pavel, Holík Lukáš, Janoušek Vladimír, Kironský Elöd, Kočí Radek, Křena Bohuslav, Polášek Petr, Rogalewicz Adam, Smrčka Aleš, Vojnar Tomáš

Your IPv4 address: 34.204.179.0
Switch to https