Computer-aided verification of coordinating processes : the automata-theoretic approach /
| Main Author: | Kurshan, R. P., 1943- |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Princeton, N.J. :
Princeton University Press,
[1994]
|
| Series: | Princeton series in computer science.
|
| Subjects: |
Similar Items
Agent-Based Manufacturing and Control Systems : New Agile Manufacturing Solutions for Achieving Peak Performance.
by: Pesenti, Raffaele, et al.
Published: (2004)
by: Pesenti, Raffaele, et al.
Published: (2004)
Intelligent manufacturing planning /
by: Gu, Peihua
Published: (1995)
by: Gu, Peihua
Published: (1995)
A prescriptive methodology for comprehensive evaluation of manufacturing expert system projects /
by: Ray, Charles David, 1956-
Published: (1991)
by: Ray, Charles David, 1956-
Published: (1991)
Computer-aided process planning /
by: Wang, Hsu-Pin, 1954-
Published: (1991)
by: Wang, Hsu-Pin, 1954-
Published: (1991)
Interface technology for computer-controlled manufacturing processes /
by: Rembold, Ulrich
Published: (1983)
by: Rembold, Ulrich
Published: (1983)
Computer modeling and simulation of manufacturing processes : presented at the Winter Annual Meeting of the American Society of Mechanical Engineers, Dallas, Texas, November 25-30, 1990 /
Published: (1990)
Published: (1990)
Evolutionary computing in advanced manufacturing /
Published: (2011)
Published: (2011)
Modern tools for manufacturing systems /
Published: (1993)
Published: (1993)
Automation, production systems, and computer-integrated manufacturing /
by: Groover, Mikell P., 1939-
Published: (2008)
by: Groover, Mikell P., 1939-
Published: (2008)
Automation, production systems, and computer-integrated manufacturing /
by: Groover, Mikell P., 1939-
Published: (2001)
by: Groover, Mikell P., 1939-
Published: (2001)
Artificial intelligence in manufacturing research /
Published: (2010)
Published: (2010)
Computer-automated process planning for world-class manufacturing /
by: Nolen, James, 1947-
Published: (1989)
by: Nolen, James, 1947-
Published: (1989)
Verifying and validating personal computer-based expert systems /
by: Bahill, Terry
Published: (1991)
by: Bahill, Terry
Published: (1991)
Verification and validation of rule-based expert systems /
by: Smith, Suzanne, 1953-
Published: (1993)
by: Smith, Suzanne, 1953-
Published: (1993)
Cloud-based design and manufacturing (CBDM) : a service-oriented product development paradigm for the 21st Century /
Published: (2014)
Published: (2014)
Expert process planning for manufacturing /
by: Chang, Tien-Chien, 1954-
Published: (1990)
by: Chang, Tien-Chien, 1954-
Published: (1990)
Cloud manufacturing : distributed computing technologies for global and sustainable manufacturing /
Published: (2013)
Published: (2013)
Agent-based manufacturing and control systems : new agile manufacturing solutions for achieving peak performance /
by: Paolucci, Massimo, 1961-
Published: (2005)
by: Paolucci, Massimo, 1961-
Published: (2005)
Process selection : from design to manufacture /
by: Swift, K. G.
Published: (1997)
by: Swift, K. G.
Published: (1997)
Process selection : from design to manufacture /
by: Swift, K. G.
Published: (2003)
by: Swift, K. G.
Published: (2003)
Advances in manufacturing : decision, control, and information technology /
Published: (1999)
Published: (1999)
Fifth International Conference on Factory 2000 - the technology exploitation process, 2-4 April, 1997 /
Published: (1997)
Published: (1997)
Manufacturing execution systems : optimal design, planning, and deployment /
Published: (2009)
Published: (2009)
Manufacturing execution systems : optimal design, planning, and deployment /
Published: (2009)
Published: (2009)
Statistical and computational techniques in manufacturing /
Published: (2012)
Published: (2012)
Computational techniques and smart manufacturing /
Published: (2026)
Published: (2026)
Reactive systems : modelling, specification and verification /
Published: (2007)
Published: (2007)
Expert systems and intelligent manufacturing : proceedings of the Second International Conference on Expert Systems and the Leading Edge in Production Planning and Control, held May 3-5, 1988 in Charleston, South Carolina /
Published: (1988)
Published: (1988)
First International Conference on Expert Planning Systems, 27-29 June 1990 /
Published: (1990)
Published: (1990)
Agent based manufacturing : advances in holonic approach /
Published: (2003)
Published: (2003)
Dynamics and chaos in manufacturing processes /
Published: (1998)
Published: (1998)
Computer-aided process planning /
by: Wang, Hsu-Pin, 1954-
Published: (1991)
by: Wang, Hsu-Pin, 1954-
Published: (1991)
Computational intelligence based optimization of manufacturing process for sustainable materials /
Published: (2024)
Published: (2024)
An expert systems approach to computer-aided design of multivariable systems /
by: Pang, G. K. H. (Grantham K. H.)
Published: (1987)
by: Pang, G. K. H. (Grantham K. H.)
Published: (1987)
Expert techniques for batch process control /
Published: (2000)
Published: (2000)
Advanced computations in materials processing : presented at the 29th National Heat Transfer Conference, Atlanta, Georgia, August 8-11, 1993 /
Published: (1993)
Published: (1993)
Agile manufacturing systems : approach for enhancing agility of organisations and processes /
Published: (2012)
Published: (2012)
Process selection : from design to manufacture /
by: Swift, K. G.
Published: (2003)
by: Swift, K. G.
Published: (2003)
Expert systems : applications to urban planning /
by: Kim, Tschangho John
Published: (1990)
by: Kim, Tschangho John
Published: (1990)
Systems and software verification : model-checking techniques and tools /
Published: (2001)
Published: (2001)