期刊文献+

自动化标记语言Automation ML健壮性分析及验证 被引量:1

Robustness Analysis and Verification of Automation ML
下载PDF
导出
摘要 首先对自动化标记语言AutomationML技术以及国内外发展情况进展作了介绍,介绍了什么是健壮性,对自动化标记语言健壮性的分析及验证方法进行了描述,并给出了验证方案。 Firstly,this paper introduces the technology of Automation ML and its development at home and abroad,introduces what is robustness, describes the analysis and verification methods of robustness of Automation Markup Language,and gives the verification scheme.
作者 陈曦 余国瑞 徐文劼 肖天雷 CHEN Xi;YU GUO-rui;XU Wen-jie;XIAO Tian-lei(Shanghai Institute of Metrology and Testing Technology,Shanghai 201203;Shanghai Key Laboratory of Online Detection and Control Technology,Shanghai 201203)
出处 《数字技术与应用》 2019年第5期125-125,127,共2页 Digital Technology & Application
基金 上海市科委技术标准专项课题,智能制造领域工业数据交换格式基础共性标准研究(16DZ0502300)
关键词 自动化标记语言 AUTOMATION ML 健壮性 automation markup language automation ML robustness
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部