Login / Signup

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

Wei-Chun HsiehChuei-Tin Chang
Published in: Comput. Chem. Eng. (2016)
Keyphrases