Designing Robust Software Systems through Parametric Markov Chain Synthesis

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

26 Downloads (Pure)
Original languageEnglish
Title of host publicationSoftware Architecture (ICSA), 2017 IEEE International Conference on
Number of pages10
ISBN (Electronic)978-1-5090-5729-0
Publication statusE-pub ahead of print - 18 May 2017

Cite this