(→Members) |
(→Group Focus) |
||
| Line 2: | Line 2: | ||
== Group Focus == | == Group Focus == | ||
| + | |||
| + | |||
| + | models for concurrent, parallel and distributed systems | ||
| + | formal methods | ||
| + | specification and verification | ||
| + | applications in security | ||
== Members == | == Members == | ||
Revision as of 09:49, 7 October 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
…