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

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

Cite this