Článek ve sborníku konference

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.
Jazyk publikace:angličtina
Název publikace:RODES: A Robust-Design Synthesis Tool for Probabilistic Systems
Název (cs):RODES: Nástroj pro syntézu robustních pravděpodobnostních systémů
Strany:1-4
Sborník:Proceedings of 14th International Conference on Quantitative Evaluation of SysTems
Konference:14th International Conference on Quantitative Evaluation of SysTems
Místo vydání:Heidelberg, DE
Rok:2017
ISBN:978-3-319-66335-7
Vydavatel:Springer Verlag
Klíčová slova

design automation, probabilistic systems,
robustness
sensitivity and tolerance
Pareto-optimality
Anotace
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=11461}
}

Vaše IPv4 adresa: 34.204.0.181