化学プロセスの安全なシーケンス制御系のための記号モデル検証システム
スポンサーリンク
概要
著者
-
MOON Il
Department of Physics,Pohang University of Science and Technology
-
Moon I
Yonsei Univ. Seoul Kor
-
Moon Il
Department Of Internal Medicine Ewha Womans University School Of Medicine Ewha Medical Research Inst
-
KO Daeho
Department of Chemical Engineering, Yonsei University
-
PROBST Scott
Department of Chemical Engineering, Carnegie Mellon University
-
POWERS Hary
Department of Chemical Engineering, Carnegie Mellon University
-
Ko Daeho
Department Of Chemical Engineering Yonsei University
-
Powers Hary
Department Of Chemical Engineering Carnegie Mellon University
-
Probst Scott
Department Of Chemical Engineering Carnegie Mellon University
-
Moon Il
Department Of Chemical Engineering Yonsei University
関連論文
- Specific Heat Anomalies near 147 K for K_2ZnCl_4
- An association between obesity and the prevalence of colonic adenoma according to age and gender
- 化学プロセスの安全なシーケンス制御系のための記号モデル検証システム
- Multiobjective Optimization for Safety-related Decision Making in Chemical Processes
- A Symbolic Model Verifier for Safe Chemical Process Sequential Control Systems.