Detail publikace
Recent Advances in Designing Robust Probabilistic Systems
ČEŠKA, M.; CALINESCU, R.; GERASIMOU, S.; KWIATKOWSKA, M.; PAOLETTI, N. Recent Advances in Designing Robust Probabilistic Systems. 2nd International Workshop on Design and Analysis of Robust Systems (Extended Abstract). Berlin: 2017. p. 1-3.
Typ
abstrakt
Jazyk
anglicky
Autoři
Češka Milan, doc. RNDr., Ph.D.
(UITS)
Calinescu Radu (FIT)
Gerasimou Simos (FIT)
Kwiatkowska Marta (FIT)
Paoletti Nicola (FIT)
Calinescu Radu (FIT)
Gerasimou Simos (FIT)
Kwiatkowska Marta (FIT)
Paoletti Nicola (FIT)
Rok
2017
Strany
1–3
Kniha
2nd International Workshop on Design and Analysis of Robust Systems (Extended Abstract)
Místo
Berlin
BibTeX
@misc{BUT168563,
author="Milan {Češka} and Radu {Calinescu} and Simos {Gerasimou} and Marta {Kwiatkowska} and Nicola {Paoletti}",
title="Recent Advances in Designing Robust Probabilistic Systems",
booktitle="2nd International Workshop on Design and Analysis of Robust Systems (Extended Abstract)",
year="2017",
pages="1--3",
address="Berlin",
note="abstract"
}