...
机译:使用NuSMV模型检查器对牛奶运行的运输物流进行自动路线规划
机译:使用NuSMV模型检查器对牛奶运行的运输物流进行自动路线规划
机译:基于多式联运的新农产品的路线规划结合高速铁路物流与道路物流
机译:动态计划和路线模型,用于计划/重新计划地震活动
机译:基于模型检查的牛奶运输物流自动化路线规划
机译:使用两级位置路由建模和SCPM仿真评估城市物流
机译:使用线性逻辑检验模型评估自动编号系列项目生成器
机译:人道主义物流计划的多阶段随机设施路由模型
机译:货运建模,规划和物流。交通研究记录:交通研究委员会杂志,第2168号