ISO 18629-12:2005
工业自动化系统和集成.工艺规范语言.第12部分:外芯

Industrial automation systems and integration - Process specification language - Part 12: Outer core


ISO 18629-12:2005

标准号
ISO 18629-12:2005
发布
2005年
中文版
GB/T 20719.12-2010 (等同采用的中文版本)
发布单位
国际标准化组织
当前最新
ISO 18629-12:2005
 
 
ISO 18629 的这一部分通过一组公理和定义提供了属于该语言外核的概念的表示。 这些公理提供了 ISO 18629 外核中术语语义的公理化。 以下内容属于 ISO 18629 本部分的范围:  ——活动和子活动的汇总;  ——离散的活动和状态;  ——对活动发生的限制;  ——原始活动的并发性;  ——复杂的活动;  ——复杂活动的发生。

ISO 18629-12:2005相似标准


推荐

29个半导体国家标准即将实施,12月1日有12个国标开始实施!

国家标准《半导体集成电路 片上系统(SoC)》由TC78(全国半导体器件标准化技术委员会)归口,TC78SC2(全国半导体器件标准化技术委员会半导体集成电路分会)执行 ,主管部门为工业信息化部(电子)。  主要起草单位:中国电子技术标准化研究院、北京智微电子科技有限公司、北京可鉴科技有限公司、杭州万高科技股份有限公司。  ...

网络强国新时代:中国“突破”惊艳世界

   近年来,中国的互联网技术、物联网产品自动化装备在各行各业迅速普及。图为在中国国际物流科技博览会上,中国科技吸引观众驻足观看。  一块指甲盖大小的芯片,其中可能深藏着10亿多个晶体管。作为关键技术,芯片被誉为一个国家的“工业粮草”。近年来,中国电子信息产业整体规模高速发展,却频频在“核技术”上被海外巨头“卡脖子”。十几年来,芯片进口超过石油成为中国最大宗进口产品,可谓“有千千结”。  ...

基金委发布2个重大研究计划2023年度项目指南

研究面向粒尺度的电-热-力耦合多物理场计算方法与快速仿真工具,面向集成芯片的综合/布局/布线自动化设计工具,集成芯片的可测性设计等。  4. 集成芯片电路设计技术。  研究面向2.5D/3D集成的高速、高能效串行/并行、射频、硅光接口电路,大功率集成芯片的电源管理电路与系统等。  5. 集成芯片2.5D/3D工艺技术。  ...

美国限制华为的封喉之剑,究竟是什么?

Barde工具相比传统的Pcell QA工具具有自 动化程度高、检查项全面、准确性高支持 先进工艺特殊处理等多项优势。成都奥卡思微电科技公司简介 自2016年1月成立于硅谷,2017年12月推出AVE自 动化验证工具软件(已开放两款逻辑验证产品,多项 预研中),公司是由三位硅谷中国博士创立,现在落 地于成都高新园区。公司主要业务为集成电路设计自动化系统(EDA)的研 发咨询。...


谁引用了ISO 18629-12:2005 更多引用





Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号