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

一种Simulink图形模型的形式验证方法，如下：对Simulink图进行分析，构建Simulink图在Java中的对应对象；以获得的Java对象为基础，将该Java对象表示的Simulink图划分得到一个子图的集合，使对于子图集合中的每个...
该专利属于中国科学院软件研究所所有，仅供学习研究参考，未经过中国科学院软件研究所授权不得商用。

详细技术文档下载地址

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