English | 繁體

Search in the results

UM

Browse/Search Results:  1-6 of 6 Help

Selected(0)Clear Items/Page:    Sort:
Real-Time System Modeling and Verification Through Labeled Transition System Analyzer Journal article
Yang, Yilong, Zu, Quan, Ke, Wei, Zhang, Miaomiao, Li, Xiaoshan. Real-Time System Modeling and Verification Through Labeled Transition System Analyzer[J]. IEEE Access, 2019, 7, 26314-26323.
Authors:  Yang, Yilong;  Zu, Quan;  Ke, Wei;  Zhang, Miaomiao;  Li, Xiaoshan
Favorite | TC[WOS]:2 TC[Scopus]:3  IF:3.4/3.7 | Submit date：2022/05/23
Ltsa  Model Checking  Steam Boiler  Uml  
Model checking bounded continuous-time Extended Linear Duration Invariants Conference paper
An J., Zhan N., Li X., Zhang M., Yi W.. Model checking bounded continuous-time Extended Linear Duration Invariants[C], 2018, 81-90.
Authors:  An J.;  Zhan N.;  Li X.;  Zhang M.;  Yi W.
Favorite | TC[WOS]:5 TC[Scopus]:7 | Submit date：2019/02/14
Duration Calculus  Eldi  Model Checking  Quantified Linear Real Arithmetic  Timed Automata  
A novel relative entropy-posterior predictive model checking approach with limited information statistics for latent trait models in sparse 2k contingency tables Journal article
Huiping Wu, Ka-Veng Yuen, Shing-On Leung. A novel relative entropy-posterior predictive model checking approach with limited information statistics for latent trait models in sparse 2k contingency tables[J]. Computational Statistics and Data Analysis, 2014, 79, 261-276.
Authors:  Huiping Wu;  Ka-Veng Yuen;  Shing-On Leung
Favorite | TC[WOS]:4 TC[Scopus]:5  IF:1.5/1.7 | Submit date：2019/02/12
Goodness-of-fit  Latent Trait Model  Limited Information Statistics  Parametric Bootstrapping  Posterior Predictive Model Checking  Relative Entropy  
A novel relative entropy–posterior predictive model checking approach with limited information statistics for latent trait models in sparse 2k contingency tables Journal article
Wu, H. P., Yuen, K. V., Leung, S. O.. A novel relative entropy–posterior predictive model checking approach with limited information statistics for latent trait models in sparse 2k contingency tables[J]. Computational Statistics and Data Analysis, 2014, 261-276.
Authors:  Wu, H. P.;  Yuen, K. V.;  Leung, S. O.
Favorite | TC[WOS]:4 TC[Scopus]:5  IF:1.5/1.7 | Submit date：2022/07/27
Goodness-of-fit  Latent Trait Model  Limited Information Statistics  Parametric Bootstrapping  Posterior Predictive Model Checking  Relative Entropy  
Colored Petri nets based hierarchical modeling and integrated model validation approach for complicated network software Journal article
Liu J., Ye X., Zhou J.. Colored Petri nets based hierarchical modeling and integrated model validation approach for complicated network software[J]. Gaojishu Tongxin/Chinese High Technology Letters, 2013, 23(11), 1139-1147.
Authors:  Liu J.;  Ye X.;  Zhou J.
Favorite | TC[Scopus]:1 | Submit date：2018/12/22
Colored Petri Nets (Cp-net)  Concurrency Control  Model Checking  Model Validation  Network Software  
QRDChecker: A model checking tool for QRDC Journal article
Pei Y., Xu Q.-W., Li X.-D., Zheng G.-L.. QRDChecker: A model checking tool for QRDC[J]. Ruan Jian Xue Bao/Journal of Software, 2005, 16(3), 355-364.
Authors:  Pei Y.;  Xu Q.-W.;  Li X.-D.;  Zheng G.-L.
Favorite | TC[Scopus]:0 | Submit date：2019/04/04
Finitary Property  Interval Temporal Logic  Model Checking  Reactive System