形式规约及验证论文

下一代网络业务控制能力的研究
论文摘要下一代网络代表了电信网络未来的发展趋势，而目前对于NGN的业务控制能力以及限制等问题尚缺乏深入的认识。业务控制能力体现了NGN的优势，而限制则表明了NGN需要演进的方向...