TY  - JOUR
AU  - Kiwook Jung
AU  - KC Morris
AU  - Kevin Lyons
AU  - Swee Leong
AU  - Hyunbo Cho
C2  - Concurrent Engineering-Research and Applications
DA  - 2015-12-01 00:12:00
DO  - https://doi.org/10.1177/1063293X15603217
LA  - en
M1  - 23
PB  - Concurrent Engineering-Research and Applications
PY  - 2015
TI  - Using formal methods to scope performance challenges for Smart Manufacturing Systems: focus on agility
UR  - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=918901
ER  -