English | 繁體

Search in the results

UM

Browse/Search Results:  1-4 of 4 Help

Selected(0)Clear Items/Page:    Sort:
BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems Conference paper
Xie W., Zhu H., Xu Q.. BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems[C], 2018, 50-59.
Authors:  Xie W.;  Zhu H.;  Xu Q.
Favorite | TC[WOS]:3 TC[Scopus]:4 | Submit date：2019/04/04
Algebraic Properties  Bigrtimo Calculus  Mobile Systems  Operational Semantics  
A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems Conference paper
Li Q., Wang J., Xu Q., Huang Y., Zhu H.. A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems[C], 2016, 150-159.
Authors:  Li Q.;  Wang J.;  Xu Q.;  Huang Y.;  Zhu H.
Favorite | TC[WOS]:0 TC[Scopus]:1 | Submit date：2019/04/04
Emergent Behaviors  Hybrid Relational Modelling Language  Refinement  Swarm Robotic Systems  
A characterization of UML diagrams and their consistency Conference paper
Li X.. A characterization of UML diagrams and their consistency[C]:IEEE, 2006, 67-76.
Authors:  Li X.
Favorite | TC[WOS]:1 TC[Scopus]:4 | Submit date：2019/02/14
Consistency Checking  Semantics  Sequence Diagram  Uml2.0  
Consistency checking of UML requirements Conference paper
Li X., Liu Z., He J.. Consistency checking of UML requirements[C], 2005, 411-420.
Authors:  Li X.;  Liu Z.;  He J.
Favorite |  | Submit date：2019/02/14
Consistency Checking  Formal requirement Specification  Requirement Analysis  UML