Geometric error analysis and compensation in machine tools encompass a suite of methodologies designed to enhance precision by accurately identifying and correcting ...
NDSS 2025 – Generating API Specifications For Bug Detection Via Specification Propagation Analysis
Miaoqian Lin (Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China; School of Cyber Security, University of Chinese Academy of Sciences, China), Kai Chen (Institute of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results