First International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS 2010).

Carlo Ghezzi, Lars Grunske, Raffaela Mirandola

Browse the full ICSE paper archive.