Symbolic Verification of Control Systems and Operating Procedures
Rawlings, Blake C., Kim, Jinkyung, Moon, Il, Ydstie, B. ErikVolume:
53
Language:
english
Journal:
Industrial & Engineering Chemistry Research
DOI:
10.1021/ie402998g
Date:
April, 2014
File:
PDF, 990 KB
english, 2014