Capturing Performance Assumptions using Stochastic Performance Logic

BULEJ, Lubomír, BUREŠ, T., KEZNIKL, J., KOUBKOVÁ, A., PODZIMEK, A., TŮMA, P. Capturing Performance Assumptions using Stochastic Performance Logic. In: ICPE 2012. New York: ACM, 2012, s. 311-322. ISBN 978-1-4503-1202-8. Available: doi: 10.1145/2188286.2188345