你好
,欢迎来到试验技术专业知识服务系统
平台首页
中国工程院
中国工程科技知识中心
切换导航
首页
专题服务
认证认可
应急专栏
标准物质
仪器仪表
汽车
增材制造
专业工具服务
临界差在线计算
质控图在线生成
稳健统计
F检验
t检验
尧敦图
不确定度在线计算
资源服务
检测实验室服务能力查询
校准实验室服务能力查询
检测机构需求VS能力验证服务工具
实验室仪器对比查询
能力验证服务一览表和查询服务
优质检测机构Top10
试验人员能力查询
CSTM质量评价结果发布平台
数据分析可视化
试验方法对比
机构能力变化趋势分析
机构间技术能力对比
标准适用性对比
实验室综合能力评价
产品质量检测技术能力评价
行业资讯
登录 / 注册
信息技术.程序设计语言.高集成系统中Ada Ravenscar Profile的使用指南
标准编号
ISO/IEC TR 24718-2005
中图分类号
L74
ICS分类号
35_060
发布单位
国际标准化组织(IX-ISO)
状态
现行
标准类别
国际标准
发布日期
2005-02-01
相似标准
信息技术 程序设计语言 在高集成系统中Ada编程语言的使用指南
(ISO/IEC TR 15942-2000)
信息技术.程序设计语言.程序设计语言通过语言选择和使用避免漏洞的导则
(ISO/IEC TR 24772-2010)
信息技术.程序设计语言及其环境和系统软件接口.语言汇编指南
(ISO/IEC TR 10182-1993)
信息技术.程序设计语言、其环境和系统软件接口.程序设计C语言对十进制浮点算法的支持用扩展
(ISO/IEC TR 24732-2009)
信息技术 程序设计语言 Ada用实时和复杂类型说明和基本操作的通用包(包括矢量和矩阵类型)
(ISO/IEC 13813-1998)
信息技术 程序设计语言 Ada 技术勘误1
(ISO/IEC 8652 Technical Corrigendum 1-2001)
信息技术 程序设计语言 Ada语义接口规范
(ISO/IEC 15291-1999)
信息技术 程序设计语言及其环境和系统软件接口 程序设计语言扩充的APL
(ISO/IEC 13751-2001)
信息技术.程序设计语言、其环境和系统软件接口.程序设计语言ISLISP
(ISO/IEC 13816-2007)
信息技术 程序设计语言标准的制定指南
(ISO/IEC TR 10176-2001)
×
我的收藏-提示信息
已有收藏
:
新增
: