Author of the publication

The Analysis of Sequence Diagram with Time Properties in Qualitative and Quantitative Aspects by Model Transformation.

, , , , and . APSEC, page 118-126. IEEE Computer Society, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Petri Net-Based Method for Data Validation of Web Services Composition., , , , and . COMPSAC, page 468-476. IEEE Computer Society, (2010)A Game Perspective of Refinement of Component Models., , , , , and . COMPSAC, page 437-442. IEEE Computer Society, (2010)Refinement of models of software components., , and . SAC, page 2311-2318. ACM, (2010)Smart Personal Sensor Network Control for Energy Saving in DC Grid Powered LED Lighting System., , and . IEEE Trans. Smart Grid, 4 (2): 669-676 (2013)Modeling BPEL and BPEL4People with a Timed Interruptable pi-Calculus., , , , and . COMPSAC, page 487-492. IEEE Computer Society, (2010)The Analysis of Sequence Diagram with Time Properties in Qualitative and Quantitative Aspects by Model Transformation., , , , and . APSEC, page 118-126. IEEE Computer Society, (2010)Lateral-Torsional Buckling Analysis for Doubly Symmetric Tubular Flange Composite Beams with Lateral Bracing under Concentrated Load., , , , , , , , and . Symmetry, 13 (12): 2328 (2021)A novel reduction approach to analyzing QoS of workflow processes., , , and . Concurrency and Computation: Practice and Experience, 21 (2): 205-223 (2009)Semantic Analysis of UML2.0 Sequence Diagram Based on Model Transformation., , , , and . COMPSAC Workshops, page 170-175. IEEE Computer Society, (2010)