Události

14th International Conference on Quantitative Evaluation of SysTems

Berlin 5.-7.9.2017

Vybrané publikace

2017CALINESCU 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.

Vaše IPv4 adresa: 3.91.157.213
Přepnout na https