English | 繁體

Search in the results

UM

Browse/Search Results:  1-4 of 4 Help

Selected(0)Clear Items/Page:    Sort:
A process calculus BigrTiMo of mobile systems and its formal semantics Journal article
Xie, W.L., Zhu, H.B., Xu, Q. W.. A process calculus BigrTiMo of mobile systems and its formal semantics[J]. Formal Aspects of Computing, 2021, 33(2), 207-249.
Authors:  Xie, W.L.;  Zhu, H.B.;  Xu, Q. W.
Favorite | TC[WOS]:1 TC[Scopus]:4  IF:1.4/1.3 | Submit date：2022/08/17
Bigrtimo  Mobile Systems  Formal Semantics  Unifying Theories Programming  Semantics Linking  
A process calculus BigrTiMo of mobile systems and its formal semantics Journal article
Xie, Wanling, Zhu, Huibiao, Xu, Qiwen. A process calculus BigrTiMo of mobile systems and its formal semantics[J]. Formal Aspects of Computing, 2021, 33(2), 207-249.
Authors:  Xie, Wanling;  Zhu, Huibiao;  Xu, Qiwen
Favorite | TC[WOS]:1 TC[Scopus]:4  IF:1.4/1.3 | Submit date：2021/12/07
Bigrtimo  Mobile Systems  Formal Semantics  Unifying Theories Programming  Semantics Linking  
AutoPA: Automatic prototyping from requirements Conference paper
Li X., Liu Z., Schaf M., Yin L.. AutoPA: Automatic prototyping from requirements[C], 2010, 609-624.
Authors:  Li X.;  Liu Z.;  Schaf M.;  Yin L.
Favorite | TC[WOS]:3 TC[Scopus]:7 | Submit date：2019/02/14
Formal Semantics  Prototyping  Requirements Models  Validation  
A predicative semantic model for integrating UML models Conference paper
Yang J., Long Q., Liu Z., Li X.. A predicative semantic model for integrating UML models[C], 2005, 170-186.
Authors:  Yang J.;  Long Q.;  Liu Z.;  Li X.
Favorite | TC[WOS]:7 TC[Scopus]:12 | Submit date：2019/02/14
Formal Semantics  Model Integration  Refinement  Uml