机构

• 数学与系统科学研究院 [1]
• 上海光学精密机械研究... [1]
• 软件研究所 [1]

采集方式

• OAI收割 [3]

内容类型

• 期刊论文 [2]
• 会议论文 [1]

发表日期

• 2016 [1]
• 2013 [1]
• 1993 [1]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters 期刊论文  OAI收割 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 7, 页码: 623-639 作者:  Su, Guoxin;  Feng, Yuan;  Chen, Taolue;  Rosenblum, David S.   |  收藏  |   Model repair for Markov decision processes 会议论文  OAI收割 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, Birmingham, United kingdom, July 1, 2013 - July 3, 2013 Chen, Taolue (1); Hahn, Ernst Moritz (1); Han, Tingting (1); Kwiatkowska, Marta (1); Qu, Hongyang (2); Zhang, Lijun (3)   |  收藏  |   Colliding pulse mode-locked Nd:YLF laser with negative feedback control by GaAs photoconductive switch. 期刊论文  OAI收割 chin.j.lasers, 1993, 卷号: b2, 期号: 2, 页码: 109, 112 朱健强; 张筑虹; 陈绍和; Chen Taolue; Chen Youming; Lu Qirong; Guo Xiaodong; 范滇元; 邓锡铭 收藏  |