Concurrent and Distributed Systems Group

Group Focus

models for concurrent, parallel and distributed systems

formal methods

specification and verification

applications in security

Members


Projects

VEGA - Knowledge representation for ambient intelligence (2012 - 2015)

VEGA - Network computing Nonstandard models of computing - specification, complexity and security (2006 - 2008)

VEGA - Models for concurrent, parallel and intelligent computing (2000 - 2002)



Publications

Journal papers

Conference papers

Revízia z 09:57, 7. október 2015; Gruska (Diskusia | príspevky)

(rozdiel) ← Staršia verzia | Aktuálna úprava (rozdiel) | Novšia verzia → (rozdiel)