Browsing byAuthorBarroso, RJD
Showing results 1 to 2 of 2
Issue Date | Title | Author(s) |
2023-01-05 | A Novel GAPG Approach to Automatic Property Generation for Formal Verification: The GAN Perspective | Gao, H; Dai, B; Miao, H; Yang, X; Barroso, RJD; Walayat, H |
2020 | Collaborative Learning-Based Industrial IoT API Recommendation for Software-Defined Devices: The Implicit Knowledge Discovery Perspective | Gao, H; Qin, X; Barroso, RJD; Hussain, W; Xu, Y; Yin, Y |