RNDr. Samuel Pastva, Ph.D.
Assistant professor, Department of Computer Systems and Communications
Office: A303
Botanická 554/68a
602 00 Brno
-
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (MUNI/A/0992/2016)
MU Researcher: prof. RNDr. Petr Hliněný, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2017 — 12/2017Investor: Masaryk University / Grant Agency of Masaryk University -
Automatizovaná syntéza parametrov z temporálnych špecifikácií (MUNI/C/1017/2015)
MU Researcher: RNDr. Samuel Pastva, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2016 — 12/2016Investor: Masaryk University / Grant Agency of Masaryk University -
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (MUNI/A/0935/2015)
MU Researcher: prof. RNDr. Petr Hliněný, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2016 — 12/2016Investor: Masaryk University / Grant Agency of Masaryk University -
BioDiVinE CTL: Nástroj pro syntézu parametrů dynamických systémů omezených CTL specifikací (MUNI/33/15/2014)
MU Researcher: doc. RNDr. David Šafránek, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 12/2014 — 8/2015Investor: Masaryk University / FI Dean's Programme