국제학회
- 12 A Development of Operator Training System
- 11 Development of an Operator Training System for Batch Chemical Processes
- 10 Symbolic Safety Analysis of Automated Fuel Cell Processes
- 09 Safety Analysis of Fuel Cell Processes using Symbolic Model Checking
- 08 Safety Analysis of Petrochemical Processes
- 07 Formal Verification of Batch Processing Control Procedures
- 06 Automatic Verification of Sequential Control Systems
- 05 Verification and Validation Cycles in Chemical Process Control Systems
- 04 Symbolic Model Verifier for the Formal Testing of Discrete Chemical Process Control Systems
- 03 Process Models for Verification and Validation of Process Control Software
- 02 A Formal Method for the Synthesis, Verification and Validation of Chemical Process Control Systems
- 01 A Formal Method for the Verification and Validation of Chemical Process Control Systems
