The formal description techniques for intelligent network (IN) service and the theory and methods in IN's service verification are the key technologies in IN's realization.
智能网业务的形式化描述技术和业务验证的理论与方法是目前智能网（IN）业务实现过程中的关键技术。
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)、智能网业务逻辑验证的理论与方法等进行了研究。
The precise formal description is the basement of the research, and all the analysis and verification behind are based on it.
精确的形式化描述是整个研究的基石，后面的分析和验证都基于该形式化描述。
应用推荐