Run-time efficient probabilistic model checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli. Run-time efficient probabilistic model checking. In Richard N. Taylor, Harald Gall, Nenad Medvidovic, editors, Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011. pages 341-350, ACM, 2011. [doi]

This author has not been identified. Look up 'Antonio Filieri' in GoogleThis author has not been identified. Look up 'Carlo Ghezzi' in GoogleThis author has not been identified. Look up 'Giordano Tamburrelli' in Google

runs on WebDSL