Browse/Search Results:  1-2 of 2 Help

Selected(0)Clear Items/Page:    Sort:
QRDChecker: A model checking tool for QRDC Journal article
Ruan Jian Xue Bao/Journal of Software, 2005,Volume: 16,Issue: 3,Page: 355-364
Authors:  Pei Y.;  Xu Q.-W.;  Li X.-D.;  Zheng G.-L.
Favorite | View/Download:3/0 | TC[WOS]:0 TC[Scopus]:0 | Submit date:2019/04/04
Finitary property  Interval temporal logic  Model checking  Reactive system  
QRDChecker:一个 QRDC 模型检验工具 Journal article
软件学报, 2005,Volume: 16,Issue: 03,Page: 355-364
Authors:  裴玉;  徐启文;  李宣东;  郑国梁
Favorite | View/Download:26/0 | TC[WOS]:0 TC[Scopus]:0 | Submit date:2019/05/03
模型检验  有限性性质  反应式系统  时段时序逻辑