|
| Keyword : process calculus
|
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 logistics, truck route, process calculus, bisimulation, | | | Summary | Full Text:PDF | |
| |
|
|