Method, apparatus and device for automated control code generation and verification, and storage medium
AssigneesThe Hong Kong University of Science and Technology (Guangzhou), Shenzhen Softwin Technology Co., Ltd.
InventorsYin Li, Fu-Gee Tsung
Life of this patent
Estimating the term…