Using formal methods to scope performance challenges for Smart Manufacturing Systems: Focus on agility

Kiwook Jung, Kc Morris, Kevin W. Lyons, Swee Leong, Hyunbo Cho. Using formal methods to scope performance challenges for Smart Manufacturing Systems: Focus on agility. Concurrent Engineering: R&A, 23(4):343-354, 2015. [doi]

Abstract

Abstract is missing.