Yang, Xiaoxian

< Back to all Authors
Group by: Item type | Date
Jump to:
Number of items: 1.


Gao, Honghao, Dai, Baobin, Miao, Huaikou, Yang, Xiaoxian, Barroso, Ramon J Duran and Hussain, Walayat ORCID: 0000-0003-0610-4006 (2023) A Novel GAPG Approach to Automatic Property Generation for Formal Verification: The GAN Perspective. ACM Transactions on Multimedia Computing, Communications, and Applications. pp. 1-23. ISSN 1551-6857