Events

14th International Conference on Quantitative Evaluation of SysTems

Berlin 5.-7.9.2017

Selected publications

2017CALINESCU Radu, ČEŠKA Milan, GERASIMOU Simos, KWIATKOWSKA Marta and 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, pp. 1-4. ISBN 978-3-319-66335-7.

Your IPv4 address: 34.238.189.171