UM

Browse/Search Results:  1-1 of 1 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