UM

Browse/Search Results:  1-2 of 2 Help

Filters                    
Selected(0)Clear Items/Page:    Sort:
Unifying proof methodologies of duration calculus and timed linear temporal logic Conference paper
Formal Aspects of Computing
Authors:  Liu Z.;  Ravn A.P.;  Li X.
Favorite | View/Download:2/0 | TC[WOS]:3 TC[Scopus]:0 | Submit date:2019/02/14
Design  Real-time  Refinement  Specification  Verification  
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:6/0 | TC[WOS]:0 TC[Scopus]:0 | Submit date:2018/11/06