Formal Methods in Manufacturing Systems

Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings

Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Modeling and Analysis of Manufacturing Systems

Manufacturing Process Validation Concepts Tools and Industrial Applications

Manufacturing Engineering Processes, Second Edition,

Modeling and Simulation Based Life-cycle Engineering

Introduction to Manufacturing Processes

Computer-Aided Design, Engineering, and Manufacturing: Systems Techniques and Applications, Volume VI, Manufacturing Systems Processes

An Introduction to System Modeling and Control

Fundamentals of Machine Component Design, Seventh Edition

Modeling and Computation in Engineering II

Planning and Control of Manufacturing Operations

The Global Manufacturing Revolution Product-Process-Business Integration and Reconfigurable Systems

Mathematical Models And Methods for Real World Systems

Introduction to Manufacturing Processes

Introduction to Manufacturing Processes

Advanced Applications in Manufacturing Engineering

Manufacturing Execution Systems - Mes

Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided Verification (Paperback)

Advanced Robotics and Intelligent Automation in Manufacturing

Studies in Systems Decision and Control Advanced Decision-Making Methods and Applications in System Safety and Reliability Problems: Approaches Case Studies M Book 211 (Hardcover)

Principles of Automation and Control

Lecture Notes in Production Engineering Machine Tools Production Systems 1: Machine Types and Application Fields (Hardcover)

Industrial Process Automation Systems: Design and Implementation

8th Ifac International Workshop on Intelligent Manufacturing Systems 2007

Practical Process Control for Engineers and Technicians

Intelligent Manufacturing S Object-Oriented Software for Manufacturing Systems (Intelligent Manufacturing) (Paperback)

Automation in Garment Manufacturing

Production Planning in Automated Manufacturing

Discrete-Event Modeling and Simulation: A Practitioner's Approach

Guidelines for Safe Automation of Chemical Processes

Theory of Modeling and Simulation: Discrete Event & Iterative System Computational Foundations

Formal Methods and Software Engineering: 15th International Conference on Formal Engineeringmethods ICFEM 2013 Queenst (Paperback)

The Springer International Engineering a Workflow and Process Automation: Concepts and Technology Book 432 (Hardcover)

Economics of Advanced Manufacturing Systems (Hardcover)

Process Control in Practice (De Gruyter Textbook)

Process Engineering and Industrial Management

Fundamentals of Modern Manufacturing: Materials, Processes and Systems

Business Process Modeling, Simulation and Design, Second Edition

Process Design (Paperback)

Fundamentals of Modeling and Analyzing Engineering Systems

Principles and Practices of Automatic Process Control

Production and Manufacturing System Management

Process Control Design for Industrial Applications

Chemical Process Engineering: Design and Economics

Formal Methods for Components and Objects: 10th International Symposium Fmco 2011 Turin Italy October 3-5 2011 Rev (Paperback)

Formal Modeling and Analysis of Timed Systems: 10th International Conference Formats 2012 London Uk September 18-20 (Paperback)