Items where Author is "Zhuang, Yan"

Wei, Ran and Jiang, Zhe and Mei, Haitao and Barmpis, Konstantinos and Foster, Simon and Kelly, Tim and Zhuang, Yan (2024) Automated model based assurance case management using constrained natural language. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 43 (1). pp. 291-304. ISSN 0278-0070

Jiang, Zhe and Zhao, Shuai and Wei, Ran and Yang, Dawei and Paterson, Richard and Guan, Nan and Zhuang, Yan and Audsley, Neil C. (2022) Bridging the Pragmatic Gaps for Mixed-Criticality Systems in the Automotive Industry. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 41 (4). pp. 1116-1129. ISSN 0278-0070