CSpace

浏览/检索结果: 共2条,第1-2条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
Fine-Gray proportional subdistribution hazards model for competing risks data under length-biased sampling 期刊论文
STATISTICS AND ITS INTERFACE, 2019, 卷号: 12, 期号: 1, 页码: 107-122
作者:  Zhang, Feipeng;  Peng, Heng;  Zhou, Yong
收藏  |  浏览/下载:103/0  |  提交时间:2019/12/13
Competing risks data  Length-biased sampling  Fine-Gray model  Model checking techniques  
Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates 期刊论文
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2017, 卷号: 16, 页码: 19
作者:  Huang, Chao;  Chen, Xin;  Lin, Wang;  Yang, Zhengfeng;  Li, Xuandong
收藏  |  浏览/下载:113/0  |  提交时间:2018/07/30
Stochastic hybrid systems  safety verification  barrier certificate