你好
,欢迎来到试验技术专业知识服务系统
平台首页
中国工程院
中国工程科技知识中心
切换导航
首页
专题服务
认证认可
应急专栏
标准物质
仪器仪表
汽车
增材制造
专业工具服务
临界差在线计算
质控图在线生成
稳健统计
F检验
t检验
尧敦图
不确定度在线计算
资源服务
检测实验室服务能力查询
校准实验室服务能力查询
检测机构需求VS能力验证服务工具
实验室仪器对比查询
能力验证服务一览表和查询服务
优质检测机构Top10
试验人员能力查询
CSTM质量评价结果发布平台
数据分析可视化
试验方法对比
机构能力变化趋势分析
机构间技术能力对比
标准适用性对比
实验室综合能力评价
产品质量检测技术能力评价
行业资讯
登录 / 注册
信息技术.开放分布处理.参考模型:体系结构语义学.修改件1:计算形式化
标准编号
ISO/IEC 10746-4 AMD 1-2001
中图分类号
L79
ICS分类号
35_100_01
发布单位
国际标准化组织(ISO)
状态
现行
标准类别
国际标准
发布日期
2001-12-01
相似标准
信息技术.开放分布式处理.参考模型:体系结构语义.第4部分.修改件1:计算形式化
(ANSI/INCITS/ISO/IEC 10746-4AMD 1-2001)
信息技术.开放分布式处理.参考模型:第4部分:体系结构语义学
(ANSI/INCITS/ISO/IEC 10746-4-1998)
信息技术.开放分布式处理.参考模型:体系结构语义
(ISO/IEC 10746-4-1998)
信息技术 开放分布式处理 参考模型:体系结构
(ISO/IEC 10746-3-1996)
信息技术 开放分布式管理体系结构 修改1:支持使用公共客体请求代理体系结构(CORBA)
(ISO/IEC 13244 AMD 1-1999)
信息技术 开放系统互连 管理信息结构:第4部分:被管客体定义指南 修改3:使被管客体行当形式化时使用 Z 的指南
(ISO/IEC 10165-4 AMD 3-1998)
信息技术.Z格式规范标志法.句法、形式系统和语义学.技术勘误1
(ISO/IEC 13568 Technical Corrigendum 1-2007)
信息技术.Z格式规范标志法.语法,形式系统和语义学
(ISO/IEC 13568-2002)
信息技术 开放文件体系结构(ODA)和交换格式:光栅图形内容体系结构 修改1
(ISO/IEC 8613-7 AMD 1-1998)
信息技术 运动图像及其伴音信息的通用编码 视频 修改1:视频通量线容量等级数据
(ISO/IEC 13818-2 AMD 1-2001)
×
我的收藏-提示信息
已有收藏
:
新增
: