QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Parameter Synthesis Problems for one parametric clock Timed Automata 期刊论文 Formal Languages and Automata Theory, 2018 作者:  Liyun Dai;  Taolue Chen;  Zhiming Liu;  Bican Xia;  Naijun Zhan 收藏  |  浏览/下载：8/0  |  提交时间：2019/12/26 Parameter synthesis problems for one parametric clock timed automata [arXiv] 期刊论文 arXiv, 2018, 页码: 20 作者:  Liyun Dai;  Taolue Chen;  Zhiming Liu;  Bican Xia;  Naijun Zhan 收藏  |  浏览/下载：5/0  |  提交时间：2019/12/26 Parameter Synthesis Problems for Parametric Timed Automata [arXiv] 期刊论文 arXiv, 2018, 页码: 12 作者:  Liyun Dai;  Bo Liu;  Zhiming Liu;  Taolue Chen 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/26 Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters 期刊论文 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 7, 页码: 623-639 作者:  Su, Guoxin;  Feng, Yuan;  Chen, Taolue;  Rosenblum, David S. 收藏  |  浏览/下载：24/0  |  提交时间：2018/07/30 Asymptotic perturbation bound  discrete-time Markov chain  numerical iteration  optimization  parametric Markov chain  perturbation analysis  probabilistic model checking  quadratic programming   Model repair for Markov decision processes 会议论文 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) 收藏  |  浏览/下载：13/0  |  提交时间：2014/12/16 Colliding pulse mode-locked Nd:YLF laser with negative feedback control by GaAs photoconductive switch. 期刊论文 chin.j.lasers, 1993, 卷号: b2, 期号: 2, 页码: 109, 112 朱健强; 张筑虹; 陈绍和; Chen Taolue; Chen Youming; Lu Qirong; Guo Xiaodong; 范滇元; 邓锡铭 收藏  |  浏览/下载：1021/190  |  提交时间：2009/09/18