掌桥专利:专业的专利平台
掌桥专利
首页

一种基于模型翻译的Ptolemy离散事件模型形式化验证方法

文献发布时间:2023-06-19 09:24:30


一种基于模型翻译的Ptolemy离散事件模型形式化验证方法
相关技术
  • 一种基于模型翻译的Ptolemy离散事件模型形式化验证方法
  • 一种基于模型检测的安全协议形式化验证方法
技术分类

06120112153822