形式规约及验证相关硕士博士期刊学术论文 - 搜论网

形式规约及验证相关论文

下一代网络业务控制能力的研究

下一代网络代表了电信网络未来的发展趋势，而目前对于NGN的业务控制能力以及限制等问题尚缺乏深入的认识。业务控制能力体现了NGN的......

学位

下一代网络软交换业务控制能力业务描述模型呼叫模型呼叫关系模型呼叫状态模型形式规约及验证

看过本文同时还关注