Formal Specification and Synthesis of Procedural Controllers for Process Systems

By Arturo Sanchez

The operation of process plants involves a large number of event-driven activities, such as the start-up and shut-down of the plant, the execution of emergency procedures and equipment interlocking.... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540760210
• ISBN13: 9783540760214
• Release Date: March 1996
• Publisher: Springer
• Length: 224 Pages
• Weight: 0.79 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"