首页 在售
电子信息机械制造新型材料电气自动化新能源安全防护环保资源轻工纺织生物医药包装印刷海洋开发仪器仪表航空航天建材建筑农林牧业食品饮料采矿冶金家居用品化学化工交通运输橡胶塑料教育休闲其他
求购
电子信息机械制造新型材料电气自动化新能源安全防护环保资源轻工纺织生物医药包装印刷海洋开发仪器仪表航空航天建材建筑农林牧业食品饮料采矿冶金家居用品化学化工交通运输橡胶塑料教育休闲其他
查询 申请 展会 资讯 专利榜 企服商城 升级VIP
专利名称
农业 化学；冶金 建筑 机械工程 区域搜索
主分类
A 农业
B 作业；运输
C 化学；冶金
D 纺织；造纸
E 固定建筑物
F 机械工程、照明、加热
G 物理
H 电学
专利下载VIP
公布日期
2023-10-24 公布专利
2023-10-20 公布专利
2023-10-17 公布专利
2023-10-13 公布专利
2023-10-10 公布专利
2023-10-03 公布专利
2023-09-29 公布专利
2023-09-26 公布专利
2023-09-22 公布专利
2023-09-19 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果1个，建议您升级VIP下载更多相关专利
  • [发明专利]一种基于ATL的SLIM模型到XSAP模型转换方法-CN202310369791.4在审
  • 王立松;肖曦 - 南京航空航天大学
  • 2023-04-10 - 2023-06-23 - G06F16/84
  • 本发明公开了一种基于ATL的SLIM模型到XSAP模型转换方法，包括：根据预先定义的模型转换规则，设计SLIM元模型和XSAP元模型，获取SLIM元模型和XSAP元模型的抽象语法结构；基于ATL设计模型转换算法，利用元模型及抽象语法结构，实现SLIM模型向XSAP模型的转换，得到转换后的XML格式的XSAP模型；设计校验算法，对XSAP模型进行校验，得到完整的SMV格式的XSAP模型。本发明能够将安全关键系统从SLIM模型直接转化为XSAP模型，并对转换得到的XSAP模型进行校验分析，本发明提出的转换算法和模型校验算法，具有普适性。
  • 一种基于atlslim模型xsap转换方法
  •  1 
  • 共 1 条
友情链接：交换友情链接需要网站权重大于4，网站收录10W以上，如符合条件，请联系QQ：76009968。

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

400-8765-105周一至周五 9:00-18:00

版权所有钻瓜科技（天津）有限公司津ICP备15000985号津公网安备 12019202000206号http://www.vipzhuanli.com/公布日期
咨询在线客服咨询在线客服
tel code back_top