摘要：基于抽象解释的模型转换方法的基础研究
作者：Natasha Jarus, Sahra Sedigh Sarvestani, and Ali Hurson
论文ID：1902.07761
分类：Systems and Control
分类简称：cs.SY
提交时间：2019-07-02
PDF 下载： 英文版 中文版pdf翻译中