UM

Browse/Search Results:  1-3 of 3 Help

Filters                    
Selected(0)Clear Items/Page:    Sort:
Formalising Scheduling Theories in Duration Calculus Journal article
Nordic Journal of Computing, 2008,Volume: 14,Page: 173–201
Authors:  QIWEN XU;  NAIJUN ZHAN
Favorite | View/Download:3/0 | TC[WOS]:0 TC[Scopus]:0 | Submit date:2019/05/29
Real Time Scheduling  Formal Proof  Duration Calculus  Temporal Logics  Schedulability Conditions  
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
模型检验  有限性性质  反应式系统  时段时序逻辑  
Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs Journal article
Formal Aspects of Computing, 2003,Volume: 15,Issue: 1,Page: 84-99
Authors:  Savi Mi;  Judi Romijn;  Carron Shankland
Favorite | View/Download:1/0 | TC[WOS]:0 TC[Scopus]:0 | Submit date:2019/07/30
Comparative Case Study  Ieee Standard  Formal Methods  Firewire