Fakulta informačních technologií VUT v Brně

Detail publikace

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems

CALINESCU Radu, ČEŠKA Milan, GERASIMOU Simos, KWIATKOWSKA Marta a PAOLETTI Nicola. RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. In: Proceedings of 14th International Conference on Quantitative Evaluation of SysTems. Heidelberg: Springer Verlag, 2017, s. 1-4. ISBN 978-3-319-66335-7.
Název česky
RODES: Nástroj pro syntézu robustních pravděpodobnostních systémů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Calinescu Radu (UYORK)
Češka Milan, RNDr., Ph.D. (UITS FIT VUT)
Gerasimou Simos (UYORK)
Kwiatkowska Marta (UOx)
Paoletti Nicola (UOx)
Abstrakt
Tento článek představuje RODES - nástroj pro syntézu robustních pravděpodobnostních systémů, které splňují striktní požadavky na spolehlivost a výkon.
Rok
2017
Strany
1-4
Sborník
Proceedings of 14th International Conference on Quantitative Evaluation of SysTems
Konference
14th International Conference on Quantitative Evaluation of SysTems, Berlin, DE
ISBN
978-3-319-66335-7
Vydavatel
Springer Verlag
Místo
Heidelberg, DE
BibTeX
@INPROCEEDINGS{FITPUB11461,
   author = "Radu Calinescu and Milan \v{C}e\v{s}ka and Simos Gerasimou and Marta Kwiatkowska and Nicola Paoletti",
   title = "RODES: A Robust-Design Synthesis Tool for Probabilistic Systems",
   pages = "1--4",
   booktitle = "Proceedings of 14th International Conference on Quantitative Evaluation of SysTems",
   year = 2017,
   location = "Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-319-66335-7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11461"
}
Nahoru