期刊名称:International Journal of Advanced Research In Computer Science and Software Engineering
印刷版ISSN:2277-6451
电子版ISSN:2277-128X
出版年度:2013
卷号:3
期号:5
出版社:S.S. Mishra
摘要:Milk delivery system is facing major challenges in the areas of storage and delivery of milk. The milk is a substance that gets dehydrated with increasing temperature and the presence of lactic acid which generates chemical imbalance to the milk as time increases. This urges the need for a system which provides the automatic routing and detection of the nearest storage point. The previous work [1] proposed root discovery with LTL (Linear Temporal Logic) logic for model checking. The proposed work not only detects the shortest path but also identifies the nearest storage location.