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: 54.172.234.236
Přepnout na https