一阶事件约束论文

论文题目:并发系统的模型检测与测试论文类型:博士论文论文专业:计算机软件与理论作者:吴鹏导师:林惠民关键词:并发系统,模型检测,网络协议,移动,基于模型的测试,符号测试用例,一...