退出
我的积分:
中文文献批量获取
外文文献批量获取
荚文祥; 陆阳; 许崇; 魏振春;
合肥工业大学计算机与信息学院;
联锁表; Event-B方法; 形式化方法; 机车; 证明义务;
机译:矿井运输报警信号系统
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:矿井机车运输发展的主要方向
机译:逐步正式建模与event-b的自适应系统验证。自动流动站保护案例研究
机译:钻石矿井运输管理的分析评估及其对生产力和效率的影响 - 案例研究
机译:类风湿关节炎与机车综合征之间的关系:类风湿关节炎患者25题老年机车功能量表的验证
机译:基于CPS的矿井运输控制系统建模与调度策略研究
机译:机车耐撞性研究:建模,仿真和验证
机译:矿井竖井内运输矿用电力机车和车辆的布置
机译:在矿井中进行煤车机车运输的方法和手段
机译:信号系统,即警报信号系统,用于在监视的安全区域(例如,警报器)中发信号通知人的存在。在一段时间内收到消息时,让测试单元将对象验证为经过身份验证的对象
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。