模型自动转换相关硕士博士期刊学术论文 - 搜论网

模型自动转换相关论文

Ptolemy离散事件模型形式化验证方法

Ptolemy是一个广泛应用于信息物理融合系统的建模和仿真工具包,主要通过仿真的方式保证所建模型的正确性.形式化方法是保证系统正......

期刊

形式化验证 Ptolemy离散事件模型模型自动转换时间自动机

网络服务智能化的关键技术研究

网络服务智能化对于提高网络服务的业务能力、提升用户体验具有重要作用。从机器对服务的理解角度来增进网络服务智能化的研究还不......

学位

语义化网络服务服务发现本体异构服务模型构建模型自动转换知识发现

看过本文同时还关注