Items where Author is "Wei, R"

[up] Up a level
Group by: Item Type | No Grouping
Number of items: 1.

Wei, R orcid iconORCID: 0000-0003-2191-1359, Jiang, Z, Guo, X, Yang, R, Mei, H, Zolotas, A orcid iconORCID: 0000-0001-6020-4468 and Kelly, T (2023) DECISIVE: Designing Critical Systems With Iterative Automated Safety Analysis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 43 (5). pp. 1346-1359. ISSN 0278-0070

This list was generated on Fri Oct 31 12:07:01 2025 UTC.