Author:
Fujino Kazuhisa,Imafuku Kei,Yuh Yamashita,Hirokazu Nishitani
Subject
Computer Science Applications,General Chemical Engineering
Reference6 articles.
1. Sequential control issues in the plant-wide control system;Hiranaka,1994
2. Automatic verification of sequential control systems using temporal logic;Moon;American Institute of Chemical Engineering Journal,1992
3. A symbolic model verifier for safe chemical process sequential control systems;Moon;Journal of Chemical Engineering Japan,1997
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献