Formal methods in manufacturing systems recent advances
"This book explores formal methods and the shifting paradigm through an investigation of contemporary manufacturing techniques and formal methodologies that strive to solve a variety of issues arising from a market environment that increasingly favors flexible systems over traditional ones"...
Format: | Electronic |
---|---|
Series: | Advances in civil and industrial engineering (ACIE) book series,
2326-6139 Premier reference source |
Subjects: | |
Online Access: | View fulltext via EzAccess |
Similar Items
-
Food process engineering and technology /
by: Berk, Zeki,
Published: (2018) -
Software Tools for the Simulation of Electrical Systems : Theory and Practice /
by: Kumar, L. Ashok,, et al.
Published: (2020) -
Internet of things for architects : architecting IoT solutions by implementing sensors, communication infrastructure, edge computing, analytics, and security /
by: Lea, Perry,
Published: (2018) -
Video production : disciplines and techniques /
by: Foust, James C.,, et al.
Published: (2018) -
Computer and communication engineering : first International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25-27, 2018, proceedings /
Published: (2019)