UM

Browse/Search Results:  1-1 of 1 Help

Filters    
Selected(0)Clear Items/Page:    Sort:
Modelling and verification of a network player system with DCValid Conference paper
Proceedings - 1st Asia-Pacific Conference on Quality Software, APAQS 2000
Authors:  Wang J.;  Xu Q.;  Ma H.
Favorite | View/Download:3/0 | TC[WOS]:2 TC[Scopus]:0 | Submit date:2019/04/04
Multimedia Systems  Real-Time  Specification and Verification  Temporal Logic