Sign in

Automated Model-Based Assurance Case Management Using Constrained Natural Language.

Ran WeiZhe JiangHaitao MeiKonstantinos BarmpisSimon FosterTim KellyYan Zhuang
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2024)
Keyphrases