Back to Results
First PageMeta Content



Designing Robust Software Systems through Parametric Markov Chain Synthesis ˇ ska† , Simos Gerasimou∗ , Marta Kwiatkowska‡ and Nicola Paoletti§ Radu Calinescu∗ , Milan Ceˇ ∗ Department of Computer Science, U
Add to Reading List

Document Date: 2017-03-10 09:53:57


Open Document

File Size: 829,34 KB

Share Result on Facebook
UPDATE