Výskumná skupina pre konkurentné a distribuované systémy
Zameranie skupiny
výpočtové modely pre konkurentné, paralelné a distribuované systémy formálne metódy špecifikácia a verifikácia aplikácie v oblasti bezpečnosti
Členovia
- Damas Gruska (head)
- Mikuláš Pataky (PhD student)
- Michal Kováč (PhD student)
- Kamil Kuboň (PhD student)
Aktivity
…
Projekty
…
Publikácie
…