Keyword : transport logistics


Automated Route Planning for Milk-Run Transport Logistics with the NuSMV Model Checker
Takashi KITAMURA Keishi OKAMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2013/12/01
Vol. E96-D  No. 12 ; pp. 2555-2564
Type of Manuscript:  Special Section PAPER (Special Section on Parallel and Distributed Computing and Networking)
Category: 
Keyword: 
automated route planningtransport logisticsmodel checking
 Summary | Full Text:PDF(474.2KB)

A Formal Approach for Milk-Run Transport Logistics
Ichiro SATOH 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2008/11/01
Vol. E91-A  No. 11 ; pp. 3261-3268
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent/Real-time and Hybrid Systems: Theory and Applications)
Category: 
Keyword: 
transport logisticstruck routeprocess calculusbisimulation
 Summary | Full Text:PDF(314.4KB)