Designing Robust Software Systems through Parametric Markov Chain Synthesis. / Calinescu, Radu; Ceska, Milan; Gerasimou, Simos; Kwiatkowska, Marta; Paoletti, Nicola.

Software Architecture (ICSA), 2017 IEEE International Conference on. 2017. p. 131-140.

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

E-pub ahead of print

Documents

Links

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
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 31140230