机译:基于OTS / Cafeobj方法的并发系统的实现与测试生成
机译:基于OTS / CafeOBJ方法的并发系统的实现与测试生成。
机译:基于OTS / Cafeobj方法的并发系统的实现与测试生成
机译:基于概念语音合成的定向语音对话系统响应生成方法的实现与评估
机译:基于服务工程服务CAD系统的构建(报告36) - 基于过渡网的营销方法和服务流模拟
机译:热电联产系统在建筑物中的应用研究-基于有效能耗的系统评估-
机译:基于功能性电刺激与机器人系统整合的步态康复偏瘫患者步态康复系统的开发