Middleware Design Techniques 中间件设计技术 Theory and formal methods 理论与形式化方法 Mobile/Wireless Computing 移动与无线计算 ..
基于28个网页-相关网页
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)、智能网业务逻辑验证的理论与方法等进行了研究。
In the last, based on the meaning and value of MG theory, and based on the further understand about the ideas and methods, we can make some useful thoughts about Chinese formal problems.
最后基于MG理论的意义和价值，以及对它思想和方法的进一步了解和认识，结合汉语自身的特点和汉语的研究所取得的成果，为汉语形式化问题做出一些有益的思考。
应用推荐