English | 繁體

Search in the results

UM

Browse/Search Results:  1-4 of 4 Help

Selected(0)Clear Items/Page:    Sort:
Colored Petri nets based hierarchical modeling and integrated model validation approach for complicated network software Journal article
Liu J., Ye X., Zhou J.. Colored Petri nets based hierarchical modeling and integrated model validation approach for complicated network software[J]. Gaojishu Tongxin/Chinese High Technology Letters, 2013, 23(11), 1139-1147.
Authors:  Liu J.;  Ye X.;  Zhou J.
Favorite | TC[Scopus]:1 | Submit date：2018/12/22
Colored Petri Nets (Cp-net)  Concurrency Control  Model Checking  Model Validation  Network Software  
MRMT: An algorithm of matching resource for multi-tasks Conference paper
Yan M., Zhou J.. MRMT: An algorithm of matching resource for multi-tasks[C], 2011, 1253-1257.
Authors:  Yan M.;  Zhou J.
Favorite |  | Submit date：2018/12/22
AHP  Concurrency  Gale-Shapley  Multi-Tasks  Resource  
Basic research in computer science and software engineering at SKLCS Journal article
Zhang J., Zhang W., Zhan N., Shen Y., Chen H., Zhang Y., Wang Y., Wu E., Wang H., Zhu X.. Basic research in computer science and software engineering at SKLCS[J]. Frontiers of Computer Science in China, 2008, 2(1), 1-11.
Authors:  Zhang J.;  Zhang W.;  Zhan N.;  Shen Y.;  Chen H.; et al.
Favorite | TC[Scopus]:0 | Submit date：2019/02/13
Automated Reasoning  Computer Graphics  Concurrency Theory  Formal Specification  Human-computer Interaction  Middleware  Parallel Algorithms  Real-time System  Software Process  
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