Items where authors include "Zhuang, Yan"

Article

Wei, Ran, Jiang, Zhe, Mei, Haitao et al. (4 more authors) (2023) Automated model based assurance case management using constrained natural language. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. pp. 291-304. ISSN 0278-0070