Model Checking Requirements. Sérgio Barza,Gustavo Carvalho,Juliano Iyoda,Augusto Sampaio,Alexandre Mota,Flávia de Almeida BarrosSBMF(2016)引用 24|浏览14暂无评分关键词Natural Language, Model Checker, Modelling Language, Temporal Logic, Thematic RoleAI 理解论文溯源树样例生成溯源树,研究论文发展脉络Chat Paper正在生成论文摘要