Author of the publication

A Method Based on Meta-model for the Translation from UML into Event-B.

, , , and . QRS Companion, page 271-277. IEEE, (2016)

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

The PETSc Community as Infrastructure., , , , , , , , , and 7 other author(s). Comput. Sci. Eng., 24 (3): 6-15 (2022)The PETSc Community Is the Infrastructure., , , , , , , , , and 7 other author(s). CoRR, (2022)Distribution structure and evolution of global innovators based on patent coupling analysis: a study of the flat panel display industry., , and . Int. J. Technol. Manag., 81 (1/2): 94-117 (2019)Information Extraction of Saline-alkali Soil in the West of Jilin Province Based on Fully Polarimetric SAR-a Case Study in Qian An County., and . CSAE, page 128:1-128:5. ACM, (2018)Empirical Study of Perceived Innovation Attributes and Innovative Adoption Intention: A Mediating Effect of Attitude., and . ICEE, page 1124-1127. IEEE Computer Society, (2010)Complex object's ISAR image simulation., , and . IGARSS, page 3181-3183. IEEE, (2005)Existence and exponential stability of almost periodic solutions for CNNs with time-varying leakage delays., and . Neurocomputing, (2013)Estimating the Proportion of True Null Hypotheses in Nonparametric Exponential Mixture Model with Appication to the Leukemia Gene Expression Data., , , and . Communications in Statistics - Simulation and Computation, 41 (9): 1580-1592 (2012)Tactile Servo: Control of Touch-Driven Robot Motion., , and . ISER, volume 200 of Lecture Notes in Control and Information Sciences, page 221-233. Springer, (1993)Collective Robotic Intelligence, and . page 460--468. (1992)