Much research has been done recently in the area of formal description techniques (FDT) and their use for protocol design validation, implementation development and testing.
最近在形式描述技术(FDT)领域及其用于协议设计验证、实现开发和测试方面已做了大量的研究工作。
Based on the ITU-T Intelligent Network CS Recommendation, the paper studies the formal description techniques (FDT) for in service and the theory and methods in in's service verification.
本文依据国际电信联合委员会(itu - T)的智能网能力集建议，对智能网业务的形式化描述技术(FDT)、智能网业务逻辑验证的理论与方法等进行了研究。
Based on the ITU-T Intelligent Network CS Recommendation, the paper studies the formal description techniques (FDT) for in service and the theory and methods in in's service verification.
本文依据国际电信联合委员会(itu - T)的智能网能力集建议，对智能网业务的形式化描述技术(FDT)、智能网业务逻辑验证的理论与方法等进行了研究。
应用推荐