(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

Activities

Projects

Publications