μ演算相关硕士博士期刊学术论文 - 搜论网

μ演算相关论文

模型检测引导的TTCN-3测试套生成技术研究

针对软件测试的不完备性以及软件测试自动化问题,提出在测试过程中将模型检测前置于传统测试,将模型检测与测试相结合。通过分析模......

期刊

软件测试模型检测 TTCN-3测试套 μ演算 Software testing Model checking TTCN-3 test suite μ-c

混杂系统分析与控制设计研究

随着信息处理技术、计算机技术、机器人技术等的完善和广泛应用，在通信、制造、交通管理。军事指挥等领域内相继出现了一批反映技术......

学位

混杂系统 μ演算对策论季诺可达控制综合 Lyapunov稳定性滑动模故障诊断离散事件混合动态规划最优控制混杂自动机 Petri网

看过本文同时还关注