UM
(Note: the search results are based on claimed items)

Browse/Search Results:  1-1 of 1 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  |  Submit date:2019/02/14
Design  Real-time  Refinement  Specification  Verification