Table of Contents Author Guidelines Submit a Manuscript
Journal of Applied Mathematics
Volume 2014 (2014), Article ID 327465, 10 pages
http://dx.doi.org/10.1155/2014/327465
Research Article

A Case Study on Formal Analysis of an Automated Guided Vehicle System

1College of Information Science and Technology, Beijing University of Chemical Technology, Beijing, China
2University of Tennessee, Knoxville, TN, USA
3Synopsys Inc., Mountain View, CA, USA
4Beijing Engineering Research Center of High Reliable Embedded System, College of Information Engineering, Capital Normal University, Beijing, China

Received 6 March 2014; Accepted 30 March 2014; Published 4 May 2014

Academic Editor: Xiaoyu Song

Copyright © 2014 Jie Zhang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to Cite this Article

Jie Zhang, Yuntao Peng, William N. N. Hung, Xiaojuan Li, Jindong Tan, and Zhiping Shi, “A Case Study on Formal Analysis of an Automated Guided Vehicle System,” Journal of Applied Mathematics, vol. 2014, Article ID 327465, 10 pages, 2014. doi:10.1155/2014/327465