Author of the publication

On Inspection and Verification of Software with Timing Requirements.

. IEEE Trans. Software Eng., 29 (8): 705-720 (2003)

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

L2-Lq reconstruction model for computational spectrometer., , , and . Appl. Math. Lett., (2023)Scattering Feature Set Optimization and Polarimetric SAR Classification Using Object-Oriented RF-SFS Algorithm in Coastal Wetlands., , , , and . Remote Sensing, 12 (3): 407 (2020)Soil Moisture Retrieval From SMAP: A Validation and Error Analysis Study Using Ground-Based Observations Over the Little Washita Watershed., , , , , , and . IEEE Trans. Geosci. Remote. Sens., 56 (3): 1394-1408 (2018)基于MapReduce框架的海量数据相似性连接研究进展 (Similarity Joins on Massive Data Based on MapReduce Framework)., , , and . 计算机科学, 42 (1): 1-5 (2015)Multi-focus image fusion based on quad-tree decomposition and edge-weighted focus measure., , , , , and . Signal Process., (2022)Surface Motion and Structural Instability Monitoring of Ming Dynasty City Walls by Two-Step Tomo-PSInSAR Approach in Nanjing City, China., , , , , , , , , and . Remote. Sens., 9 (4): 371 (2017)Coastal Aquaculture Extraction Using GF-3 Fully Polarimetric SAR Imagery: A Framework Integrating UNet++ with Marker-Controlled Watershed Segmentation., , , , , and . Remote. Sens., 15 (9): 2246 (May 2023)Assessing the Remotely Sensed Evaporative Drought Index for Drought Monitoring over Northeast China., , , , , , , , , and . Remote. Sens., 11 (17): 1960 (2019)On Subgradient Projectors., , , and . SIAM J. Optim., 25 (2): 1064-1082 (2015)Differential privacy in edge computing-based smart city Applications:Security issues, solutions and future directions., , , , , and . Array, (September 2023)