- 您的位置:
- 中国标准在线服务网 >>
- 全部标准分类 >>
- 国外标准 >>
- ITU >>
- ITU-T Z.500 Framework on formal methods in conformance testing

【国外标准】 Framework on formal methods in conformance testing
本网站 发布时间:
2025-06-10
- ITU-T Z.500
- 现行
- 定价:
- 在线阅读
开通会员免费在线看70000余条国内标准,赠送文本下载次数,单本最低仅合13.3元!还可享标准出版进度查询、定制跟踪推送、标准查新等超多特权!  
查看详情>>

适用范围:
暂无
标准号:
ITU-T Z.500
标准名称:
Framework on formal methods in conformance testing
英文名称:
标准状态:
现行-
发布日期:
2006-05-01 -
实施日期:
出版语种:
- 推荐标准
- AS Z30-1966 Interconversion of inch and metric dimensions
- ASTM B500/B500M-22 Standard Specification for Metallic Coated or Aluminum Clad Stranded Steel Core for Use in Overhead Electrical Conductors
- ASTM D500-95(2023) Standard Test Methods of Chemical Analysis of Sulfonated and Sulfated Oils
- INCITS 500-2012 Information Technology - Database Language SQL - Row Pattern Recognition (SQL/RPR)
- KS B ISO 500-1(2020 Confirm) 농업용 트랙터 — 후방 동력취출장치 형식 1, 2, 3, 4 — 제1부: 주커버와 안전 영역에 대한 일반 제원, 안전요건, 치수
- KS B ISO 500-2 농업용 트랙터 후방 동력취출 장치 형식 1, 2, 3 제 제2부부: 협폭 트랙터트랙터, 주커버와 안전 영역
- KS T 0001(2023 Confirm) 물류 용어
- KS T 0002 물류 기계류의 안전 통칙
- KS T 0005 물류 모듈 치수의 체계
- KS T 0006(2020 Confirm) 유닛로드 시스템 통칙
- KS T 0201 단위화물 기호의 표시방법
- KS T 1002 수송포장 계열치수
- KS T 1006(2020 Confirm) 골판지 상자 형식
- KS T 1008 폴리에틸렌 중포대의 치수
- KS T 1009(2020 Confirm) 완충 포장 설계 방법 통칙