Haoxuan Yuan, Fang Li 0005, Xin Huang. A Formal Modeling and Verification Framework for Service Oriented Intelligent Production Line Design. In 18th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2019, Beijing, China, June 17-19, 2019. pages 173-178, IEEE, 2019. [doi]
Abstract is missing.