Timed-automata based method for synthesizing diagnostic tests in batch processes

Wei-Chun Hsieh, Chuei-Tin Chang. Timed-automata based method for synthesizing diagnostic tests in batch processes. Computers & Chemical Engineering, 84:12-27, 2016. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.