UM

Browse/Search Results:  1-4 of 4 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  |  Submit date:2019/05/29
Real Time Scheduling  Formal Proof  Duration Calculus  Temporal Logics  Schedulability Conditions  
Checking interval based properties for reactive systems Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Venice, Italy, 1 11, 2004 - 1 13, 2004
Authors:  Yu, Pei;  Qiwen, Xu
Favorite  |  View/Download:4/0  |  Submit date:2018/11/06
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  |  Submit date:2019/07/30
Comparative Case Study  Ieee Standard  Formal Methods  Firewire  
Verifying Duration Properties of Timed Transition Systems Book chapter
出自: Programming Concepts and Methods PROCOMET ’98:Springer, Boston, MA, 1998, 页码: 327-345
Authors:  Liu, Zhiming;  Ravn, Anders;  Li, Xiaoshan
Favorite  |  View/Download:5/0  |  Submit date:2019/05/24
Real-time Systems  Duration Calculus  Timed Transition Systems  Specification  Verification