(Zameranie skupiny)
Riadok 3: Riadok 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 ==

Verzia zo dňa a času 08:41, 7. október 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


Aktivity

Projekty

Publikácie