Designing Robust Software Systems through Parametric Markov Chain Synthesis.

Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti

Browse the full ICSA paper archive.