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  
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 | TC[WOS]:0 TC[Scopus]:0 | Submit date:2019/07/30
Comparative Case Study  Ieee Standard  Formal Methods  Firewire