退出
我的积分:
中文文献批量获取
外文文献批量获取
张庚有;
石家庄电务段;
铁路信号; 形式化; 方法;
机译:基于逐步细化的形式化方法在铁路信号中的应用
机译:基于分步详细信息将形式化方法应用于铁路信号
机译:基于逐步细化方法的形式化方法在铁路信号中的应用
机译:使用UML / Event-B将铁路信号系统ERTMS / ETCS形式化
机译:安全和效率的维护者:铁路信号员兄弟会,1900--1940年。
机译:豚鼠对形式化和非形式化副Para虫抗原提取物的同质反应。
机译:关于铁路信号制造商采用形式化方法的一个故事
机译:使用NpaTRL和NRL协议分析器(预印本)对代表协议的组域进行形式化规范和分析
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
机译:降低形式化水平并从部件面板中发布形式化方法的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。