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

Semantic Analysis of UML2.0 Sequence Diagram Based on Model Transformation., , , , and . COMPSAC Workshops, page 170-175. IEEE Computer Society, (2010)A Game Perspective of Refinement of Component Models., , , , , and . COMPSAC, page 437-442. IEEE Computer Society, (2010)A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics., , , , and . SSIRI, page 203-211. IEEE Computer Society, (2009)Efficient Heuristic for Placing Monitors on Flow Networks., , , , and . PAAP, page 1-5. IEEE Computer Society, (2015)Periodicity and dosage optimization of an RNAi model in eukaryotes cells., , , and . BMC Bioinformatics, 20 (1): 340:1-340:10 (2019)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)Multiple kinds of optimal impulse control strategies on plant-pest-predator model with eco-epidemiology., , , and . Applied Mathematics and Computation, (2016)Modeling MARTE Sequence Diagram with Timing Pi-Calculus., , and . ISORC, page 61-66. IEEE Computer Society, (2011)Formal Analysis of Sequence Diagram with Time Constraints by Model Transformation., , , and . Int. J. Software and Informatics, 6 (2): 327-357 (2012)