Items where Author is "Mei, H"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Jump to: Article
Number of items: 1.
Article
Wei, R 
ORCID: 0000-0003-2191-1359, Jiang, Z, Guo, X, Yang, R, Mei, H, Zolotas, A ORCID: 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