English
基于场景的形式化测试模型生成方法
黄龙1,2,缪淮扣1,2,王皙1,2,郭亮1,2
Formal Testing Model Generation Based on Scenario
HUANG Long1,2,MIAO Huai-kou1,2,WANG Xi1,2,GUO Liang1,2
上海大学学报(自然科学版) . 2011, (5): 595 -599 .  DOI: 10.3969/j.issn.1007-2861.2011.05.004

© 2019 上海大学学报(自然科学版)编辑部
办公地址：上海市宝山区南陈路333号上海大学东区3#楼221室电话：021-66135508　 传真：021-66132736　 E-mail： xuebao@mail.shu.edu.cn
通信地址：上海市上大路99号上海大学126信箱 邮编：200444
本系统由北京玛格泰克科技发展有限公司设计开发 技术支持：support@magtech.com.cn