Automated route planning for milk-runtransport logistics with the NuSMV modelchecker

Automated route planning for milk-runtransport logistics with the NuSMV modelchecker
复制标题

使用 NuSMV 模型检查器进行牛奶运输物流的自动路线规划

DOI：
--
复制
发表时间：
--
期刊：
The IEICE Transactions onInformation and Systems, Special Sectionon Parallel and Distributed Computing andNetworking
影响因子：
--
通讯作者：
Takashi Kitamura and Keishi Okamoto
Takashi Kitamura and Keishi Okamoto
中科院分区：
--
文献类型：
--
作者：
タムケオ ディーン;篠原亮太;Takashi Kitamura and Keishi Okamoto

文献摘要

相似文献