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

Revision as of 08:41, 7 October 2015 by Gruska (Talk | contribs) (Zameranie skupiny)