计算机工程2016，Vol.42Issue(8)：19-23,5.DOI:10.3969/j.issn.1000-3428.2016.08.004
电信服务系统特征交互的Z规格及验证
Z Specification and Verification of Feature Interaction in Telecommunication Service System
摘要
关键词
特征交互/Z规格/电信系统/形式化描述/形式化验证Key words
feature interaction/Z specification/telecommunication system/formal description/formal verification分类
信息技术与安全科学引用本文复制引用
彭展,梁根,周炳..电信服务系统特征交互的Z规格及验证[J].计算机工程,2016,42(8):19-23,5.基金项目
广东石油化工学院青年自然科学基金资助项目(513023). （513023）
