首页 馆藏资源 舆情信息 标准服务 科研活动 关于我们
现行 ETSI TR 101 051
到馆提醒
收藏跟踪
购买正版
Methods for Testing and Specification (MTS); Report of the CATG applications 测试和规范方法(MTS);CATG应用报告
发布日期: 1999-02-01
研究在与STCs SMG 3、SPS 3和BTC合作的实验中应用不同验证方法的益处。在新规范草案中引入正式建模和验证方法。研究结果将用于提出基于SDL的ETSI功能规范验证方法。第3部分——核心INAP CS2实验
Study the benefit of the application of different validation methods in experiments with cooperating STCs SMG 3, SPS 3 & BTC. Introduction of formal modelling and validation methods to new draft specifications. The result will be used to propose a validation methodology for ETSI functional specifications based on SDL. Part 3 - Core INAP CS2 experiment
分类信息
关联关系
研制信息
相似标准/计划/法规