Modelling of Railway Signalling System Requirements by Controlled Natural Languages - A Case Study.Gabriele Lenzini,Marinella PetrocchiFrom Software Engineering to Formal Methods and Tools, and Back(2019)引用 2|浏览336暂无评分AI 理解论文溯源树样例生成溯源树,研究论文发展脉络