Chinese | English

Search in the results

CSpace

Browse/Search Results:  1-2 of 2 Help

Selected(0)Clear Items/Page:    Sort:
Fine-Gray proportional subdistribution hazards model for competing risks data under length-biased sampling 期刊论文
STATISTICS AND ITS INTERFACE, 2019, 卷号: 12, 期号: 1, 页码: 107-122
Authors:  Zhang, Feipeng;  Peng, Heng;  Zhou, Yong
Favorite  |  View/Download：88/0  |  Submit date：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
Authors:  Huang, Chao;  Chen, Xin;  Lin, Wang;  Yang, Zhengfeng;  Li, Xuandong
Favorite  |  View/Download：86/0  |  Submit date：2018/07/30
Stochastic hybrid systems  safety verification  barrier certificate