(→Zameranie skupiny) |
|||
| Line 3: | Line 3: | ||
== Zameranie skupiny == | == 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 == | == Členovia == | ||
Revision as of 09:41, 7 October 2015
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
…