退出
我的积分:
中文文献批量获取
外文文献批量获取
吕继东; 朱晓琳; 李开成; 唐涛; 王海峰;
北京交通大学轨道交通运行控制系统国家工程研究中心,北京100044;
中国铁道科学研究院通信信号研究所,北京100044;
北京交通大学轨道交通控制与安全国家重点实验室,北京100044;
形式化模型; 列控系统; HCSP; TA; 测试案例自动生成; 测试套;
机译:基于模型的测试案例优先级,使用选择性和偶数的基于计数的方法具有审查的排序标准
机译:使用聚类分析的基于模型的测试案例优先级排序:一种软计算方法
机译:基于模型的测试案例优先级:系统的文献综述
机译:中国铁路CTCS-3列控系统车载设备互通性测试方法研究
机译:在基于模型的系统工程方法中,在基于模型的系统工程方法中展示了在基于模型的系统工程方法中展示了在CubeSats中实现的空间情境感知系统中描述的标准方法
机译:使用改进的粒子群优化的压电式纳米级基于模型的基于模型的基于模型的滞后识别
机译:基于模型的设计信息序列控制程序自动生成
机译:基于模型的抓取区域自动生成
机译:测试案例自动生成系统,测试案例自动生成方法和测试案例自动生成程序
机译:自动生成必需的测试案例的方法,非过渡计算机合法手段和自动生成的测试案例的系统
机译:在自动测试案例生成系统中自动生成包含测试案例的输入值集的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。