UM

Browse/Search Results:  1-2 of 2 Help

Selected(0)Clear Items/Page:    Sort:
Modelling with relational calculus of object and component systems - RCOS Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Authors:  Chen Z.;  Hannousse A.H.;  Van Hung D.;  Knoll I.;  Li X.;  Liu Z.;  Liu Y.;  Nan Q.;  Okika J.C.;  Ravn A.P.;  Stolz V.;  Yang L.;  Zhan N.
Favorite  |  View/Download:1/0  |  Submit date:2019/02/14
Design  Refinement  Requirements modelling  Transformation  
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:0/0  |  Submit date:2019/02/14
Design  Real-time  Refinement  Specification  Verification