CDS Group/en: Rozdiel medzi revíziami
(→Members) |
(→Group Focus) |
||
| Riadok 2: | Riadok 2: | ||
== Group Focus == | == Group Focus == | ||
| + | |||
| + | |||
| + | models for concurrent, parallel and distributed systems | ||
| + | formal methods | ||
| + | specification and verification | ||
| + | applications in security | ||
== Members == | == Members == | ||
Verzia zo dňa a času 08:49, 7. október 2015
Concurrent and Distributed Systems Group
Group Focus
models for concurrent, parallel and distributed systems formal methods specification and verification applications in security
Members
- Damas Gruska (head)
- Mikuláš Pataky (PhD student)
- Michal Kováč (PhD student)
- Kamil Kuboň (PhD student)
Activities
…
Projects
…
Publications
…