A Formal Modeling and Verification Framework for Service Oriented Intelligent Production Line Design - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Haoxuan Yuan' in GoogleThis author has not been identified. Look up 'Fang Li 0005' in GoogleThis author has not been identified. Look up 'Xin Huang' in Google

runs on WebDSL