Showing 1 - 1 results of 1 for search 'William N. N. Hung', query time: 0.01s Refine Results
  1. 1
    A Case Study on Formal Analysis of an Automated Guided Vehicle System

    A Case Study on Formal Analysis of an Automated Guided Vehicle System by Jie Zhang, Yuntao Peng, William N. N. Hung, Xiaojuan Li, Jindong Tan, Zhiping Shi

    Published 2014-01-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: