TY  - JOUR
AU  - Jung, Kiwook
AU  - Morris, KC
AU  - Lyons, Kevin
AU  - Leong, Swee
AU  - Cho, Hyunbo
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  -