退出
我的积分:
中文文献批量获取
外文文献批量获取
曹源; 唐涛; 罗丹; 穆建成;
北京交通大学轨道交通控制与安全国家重点实验室,北京,100044;
北京二七轨道交通装备有限责任公司科研管理部,北京,100072;
铁道部科学技术司,北京,100844;
交通信息工程; 形式化方法; 列车运行控制系统; 安全苛求系统;
机译:基于服务网的多媒体会议服务编排正确性验证方法设计
机译:一种基于Petri网的工作流过程模型正确性的有效验证方法(英文)
机译:一种基于Petri网的工作流过程模型正确性的有效验证方法
机译:对计算机系统正确性的追求:程序验证方法
机译:用于安全计算的系统设计和验证方法。
机译:严格的神经网络仿真:在缺乏实验验证数据的情况下提高仿真结果正确性的模型验证方法
机译:植入式电动排血泵:系统设计和验证方法
机译:猜测下一场战争的正确性:精简,汇集和正确的时机强制设计决策,以应对不确定的环境。
机译:API序列的正确性,记录介质和执行该方法的设备的自动验证方法
机译:光学接近度正确性的验证方法
机译:电路的调度正确性检查方法和调度验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。