Ran Wei, Zhe Jiang 0004, HaiTao Mei, Konstantinos Barmpis, Simon Foster 0001, Tim Kelly, Yan Zhuang. Automated Model-Based Assurance Case Management Using Constrained Natural Language. IEEE Trans. on CAD of Integrated Circuits and Systems, 43(1):291-304, January 2024. [doi]
Abstract is missing.