[IEEE 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS) - Porto, Portugal (2018.4.11-2018.4.13)] 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS) - SDCWorks: A Formal Framework for Software Defined Control of Smart Manufacturing Systems
Potok, Matthew, Chen, Chien-Ying, Mitra, Sayan, Mohan, SibinYear:
2018
Language:
english
DOI:
10.1109/ICCPS.2018.00017
File:
PDF, 1.18 MB
english, 2018