Author:
Kim Jinkyung,Kim Jiyong,Moon Il
Subject
Industrial and Manufacturing Engineering,Management Science and Operations Research,Energy Engineering and Power Technology,Safety, Risk, Reliability and Quality,General Chemical Engineering,Food Science,Control and Systems Engineering
Reference16 articles.
1. Event modeling and verification of chemical processes using symbolic model checking. PhD thesis Department of Chemical Engineering;Adam,1999
2. Automatic verification of finite-state concurrent systems using temporal logic specifications;Clarke;ACM Transactions on Programming Languages and Systems,1986
3. An application of automated operating procedure synthesis in the nuclear industry;Crooks;Computers and Chemical Engineering,1994
4. An efficient algorithm for real-time symbolic;Froessl,1996
5. A synthesis method for chemical plant operating procedures;Fusillo;Computers and Chemical Engineering,1987
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献