Efficient synthesis of robust models for stochastic systems. / Calinescu, Radu; Ceska, Milan; Gerasimou, Simos; Kwiatkowska, Marta; Paoletti, Nicola.
In: Journal of Systems and Software, Vol. 143, 09.2018, p. 140-158.Research output: Contribution to journal › Article
Published
| Original language | English |
|---|---|
| Pages (from-to) | 140-158 |
| Number of pages | 19 |
| Journal | Journal of Systems and Software |
| Volume | 143 |
| Early online date | 16 May 2018 |
| DOIs | |
| Publication status | Published - Sep 2018 |
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
ID: 31140120