Author of the publication

Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective.

, , , , and . International Journal of Software Engineering and Knowledge Engineering, 28 (10): 1369-1397 (2018)

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

Modulation transfer spectroscopy of 127I2 hyperfine structure near 532 nm using a self-made diode-pumped Nd: YVO 4-KTP laser., , , , , , , , , and 1 other author(s). IEEE Trans. Instrumentation and Measurement, 48 (2): 604-607 (1999)Cascaded Residual Density Network for Crowd Counting., , , , and . ICIP, page 2199-2203. IEEE, (2019)On implementing sphere decoding algorithms in LTE-A uplink with the presence of CFO., , , and . WCSP, page 1-5. IEEE, (2015)SARD: A Smart Approach of Rule Division for fast flow-level consistent update in SDN., , , , and . Comput. Networks, (2015)Global existence and long-time behavior of entropy weak solutions to a quasilinear hyperbolic blood flow model., and . Networks Heterog. Media, 6 (4): 625-646 (2011)Estimating SpO2 via Time-Efficient High-Resolution Harmonics Analysis and Maximum Likelihood Tracking., , , , and . IEEE J. Biomed. Health Informatics, 22 (4): 1075-1086 (2018)Non-rigid Video Object Segmentation Based on Semantic Multi-level Framework., , , , and . J. Inf. Hiding Multim. Signal Process., 5 (4): 719-730 (2014)Optical Detection for the Adsorption Kinetics of Surfactant Solutions on the Surface/Interface: Oblique-Incidence Reflectivity Difference Investigation., , , , , , and . IEEE Trans. Instrum. Meas., (2022)KEEP: Secure and Efficient Communication for Distributed IoT Devices., , , , , and . IEEE Internet Things J., 8 (16): 12758-12770 (2021)Probing the Anisotropy of Shale by the Voltaic Response of Laser-Induced Plasma., , , , , , and . IEEE Trans. Instrum. Meas., (2021)