Capturing Performance Assumptions using Stochastic Performance Logic

Bulej, L., 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. Dostupné z: doi: 10.1145/2188286.2188345