Probst Scott | Department Of Chemical Engineering Carnegie Mellon University
スポンサーリンク
概要
関連著者
-
Ko Daeho
Department Of Chemical Engineering Yonsei University
-
Probst Scott
Department Of Chemical Engineering Carnegie Mellon University
-
Moon Il
Department Of Chemical Engineering Yonsei University
-
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
-
Powers Hary
Department Of Chemical Engineering Carnegie Mellon University
-
Moon Il
Department of Chemical Engneering, Yonsei University
-
Powers Gary
Department of Chemical Engineering, Carnegie Mellon University
著作論文
- 化学プロセスの安全なシーケンス制御系のための記号モデル検証システム
- A Symbolic Model Verifier for Safe Chemical Process Sequential Control Systems.