Detail publikace

Recent Advances in Designing Robust Probabilistic Systems

ČEŠKA, M. CALINESCU, R. GERASIMOU, S. KWIATKOWSKA, M. PAOLETTI, N.

Originální název

Recent Advances in Designing Robust Probabilistic Systems

Typ

abstrakt

Jazyk

angličtina

Autoři

ČEŠKA, M.; CALINESCU, R.; GERASIMOU, S.; KWIATKOWSKA, M.; PAOLETTI, N.

Vydáno

7. 6. 2017

Místo

Berlin

Strany od

1

Strany do

3

Strany počet

3

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"
}