Detail publikace

Recent Advances in Designing Robust Probabilistic Systems

CALINESCU Radu, ČEŠKA Milan, GERASIMOU Simos, KWIATKOWSKA Marta a PAOLETTI Nicola. Recent Advances in Designing Robust Probabilistic Systems. 2nd International Workshop on Design and Analysis of Robust Systems (Extended Abstract). Berlin, 2017.
Typ
abstrakt
Jazyk
angličtina
Autoři
Calinescu Radu (UYORK)
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Gerasimou Simos (UYORK)
Kwiatkowska Marta (UOx)
Paoletti Nicola (UOx)
Rok
2017
Strany
1-3
Kniha
2nd International Workshop on Design and Analysis of Robust Systems (Extended Abstract)
Konference
Design and Analysis of Robust Systems, Berlin, DE
Místo
Berlin, DE
Nahoru