English | 繁體

Search in the results

UM

Browse/Search Results:  1-2 of 2 Help

Selected(0)Clear Items/Page:    Sort:
Modelling and verification of a network player system with DCValid Conference paper
Wang J., Xu Q., Ma H.. Modelling and verification of a network player system with DCValid[C], 2000, 44-49.
Authors:  Wang J.;  Xu Q.;  Ma H.
Favorite | TC[WOS]:2 TC[Scopus]:2 | Submit date：2019/04/04
Multimedia Systems  Real-time  Specification And Verification  Temporal Logic  
The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs Journal article
Xu Q., De Roever W.-P., He J.. The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs[J]. Formal Aspects of Computing, 1997, 9(2), 149-174.
Authors:  Xu Q.;  De Roever W.-P.;  He J.
Favorite | TC[Scopus]:109 | Submit date：2019/04/04
Compositionality  Concurrency  Deadlock Freedom  Partial And Total Correctness  Rely-guarantee Formalism  Soundness And Completeness  Specification And Verification