English | 繁體

Search in the results

UM

Browse/Search Results:  1-4 of 4 Help

Selected(0)Clear Items/Page:    Sort:
Modeling and Verifying PSO Memory Model Using CSP Journal article
Xiao, Lili, Zhu, Huibiao, Xu, Qiwen, Vinh, Phan Cong. Modeling and Verifying PSO Memory Model Using CSP[J]. MOBILE NETWORKS & APPLICATIONS, 2022, 27(5), 2068–2083.
Authors:  Xiao, Lili;  Zhu, Huibiao;  Xu, Qiwen;  Vinh, Phan Cong
Favorite | TC[WOS]:6 TC[Scopus]:6  IF:2.3/2.6 | Submit date：2022/08/05
Formal Methods  Modeling  Partial Store Order (Pso)  Process Algebra Csp  Verification  Weak Memory Model  
Support formal component-based development with UML profile Conference paper
Li D., Li X., Liu Z., Stolz V.. Support formal component-based development with UML profile[C], 2013, 191-200.
Authors:  Li D.;  Li X.;  Liu Z.;  Stolz V.
Favorite | TC[WOS]:3 TC[Scopus]:4 | Submit date：2019/02/14
Component-based Modeling  Formal Methods  Model-driven Development  Rcos  Uml Profile  
Harnessing rCOS for tool support - The CoCoME experience Conference paper
Chen Z., Li X., Liu Z., Stolz V., Yang L.. Harnessing rCOS for tool support - The CoCoME experience[C], 2007, 83-114.
Authors:  Chen Z.;  Li X.;  Liu Z.;  Stolz V.;  Yang L.
Favorite | TC[WOS]:2 TC[Scopus]:5 | Submit date：2019/02/14
Formal Methods  Software Development Tool  Software Process  Tool Design  
Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs Journal article
Savi Mi, Judi Romijn, Carron Shankland. Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs[J]. Formal Aspects of Computing, 2003, 15(1), 84-99.
Authors:  Savi Mi;  Judi Romijn;  Carron Shankland
Favorite | TC[Scopus]:4  IF:1.4/1.3 | Submit date：2019/07/30
Comparative Case Study  Ieee Standard  Formal Methods  Firewire