论文研究Testing of Parallel Parameterized Extended Finite State Machines with Depend 上传者:宛陵秋 2020-02-16 18:31:16上传 PDF文件 289.6KB 热度 54次 带有外部变量依赖的并行参数化扩展有限状态机测试,姚姜源,王之梁,现阶段基于模型的测试的相关研究主要关注单一组件模型,如FSM和EFSM。但是在某些协议中,可能存在一些带有对其它组件的变量依赖的�� 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论