IMS; formal model; service implementation; testing;
机译:IMS互操作性和一致性方面[IP多媒体系统(IMS)基础结构和服务]
机译:基于编排的Web服务组合和一致性验证的形式化和可视化建模方法
机译:准备测试:通过正式验证确保符合工业标准
机译:从IMS PoC服务监控到正式的一致性测试
机译:从形式需求分析到网络物理系统的测试和监视
机译:非正式网络支持者在促进针对老年人滥用受害者的正式支持服务的使用上有所不同
机译:Ims poC服务的自动被动测试方法