
Katedra distribuovaných a spolehlivých systémů
Malostranské náměstí 2/25, Praha, Malá Strana
Members of the department are engaged in research in software verification, design and implementation of cyber-physical systems, and software performance measurement and analysis. The department also provides teaching of courses at the bachelor, master and doctoral levels.












