Efficient synthesis of robust models for stochastic systems (vol 143, pg 140, 2018)

被引：0

作者：

Calinescu, Radu ^{[1
]}

Ceska, Milan ^{[2
]}

Gerasimou, Simos ^{[1
]}

Kwiatkowska, Marta ^{[3
]}

Paoletti, Nicola ^{[4
]}

机构：

[1] Univ York, Dept Comp Sci, York YO10 5DD, N Yorkshire, England

[2] Brno Univ Technol, Fac Informat Technol, Brno, Czech Republic

[3] Univ Oxford, Dept Comp Sci, Oxford, England

[4] SUNY Stony Brook, Dept Comp Sci, Stony Brook, NY 11794 USA

来源：

基金：

英国工程与自然科学研究理事会; 美国国家科学基金会;

关键词：

D O I：

10.1016/j.jss.2018.08.029

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：195 / 195

页数：1