System Modelling and Simulation Research Group
Projects
| 2007 | Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, GAČR, 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áš |
| | Model Based System Development, GAČR, GP102/07/P306, 2007-2009, completed
Research leader: Kočí Radek |
| 2006 | Modelling and Simulation of Intelligent Systems, GAČR, GP102/06/P309, 2006-2008, completed
Research leader: Hrubý Martin |
| 1994 | PNtalk - tools based on object-oriented Petri nets, FIT VUT, UIVT-PNtalk, 1994-2010, completed
Research leader: Janoušek Vladimír
Team leaders: Drabant Radek, Kočí Radek, Křena Bohuslav, Vojnar Tomáš |
|
Faculty of Information Technology
![[dnssec]](/common/img/dnssec.png)