English | 繁體

Search in the results

UM

Browse/Search Results:  1-3 of 3 Help

Selected(0)Clear Items/Page:    Sort:
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  
Formalising Scheduling Theories in Duration Calculus Journal article
QIWEN XU, NAIJUN ZHAN. Formalising Scheduling Theories in Duration Calculus[J]. Nordic Journal of Computing, 2008, 14, 173–201.
Authors:  QIWEN XU;  NAIJUN ZHAN
Favorite |  | Submit date：2019/05/29
Real Time Scheduling  Formal Proof  Duration Calculus  Temporal Logics  Schedulability Conditions  
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 | TC[Scopus]:0 | Submit date：2019/05/24
Real-time Systems  Duration Calculus  Timed Transition Systems  Specification  Verification