标准编号：GB/T 20719.14-2010
标准名称：工业自动化系统与集成 过程规范语言 第14部分：资源理论
英文名称：Industrial automation systems and integration - Process specification language - Part 14: Resource theories
发布部门：中华人民共和国国家质量监督检验检疫总局 中国国家标准化管理委员会
起草单位：中国标准化研究院、重庆市标准化研究所
标准状态：现行
发布日期：2010-12-01
实施日期：2011-05-01
标准格式：PDF
内容简介
GB/T 20719本部分根据GB/T 20719.1中描述的范围，通过一系列公理和定义提供了属于语言外核的概念的表达。这些公理为本部分中的术语提供了语义的公理化。
下载地址