温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明公开一种Ptolemy同步响应模型翻译的验证方法及插件，本发明提供的一种Ptolemy同步响应模型翻译的验证方法，采用自动化的翻译方式通过对各个角色进行翻译，然后组成NuSMV模型，保留了Ptolemy模型层次化的特点，避免了状态空间...
该专利属于首都师范大学所有，仅供学习研究参考，未经过首都师范大学授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。