국외저널
- 국제학술지TOP
- 그외
- 05 Rescheduling algorithms in case of unit failure for batch process management
- 04 A symbolic model verifier for safe chemical process control systems
- 03 Modeling programmable logic controllers for logic verification
- 02 Automatic verification of sequential control systems using temporal logic
- 01 Characteristics of gas-liquid chromatography
- 그외
134 Shinchon-dong, Seodaemun-gu, Seoul 120-749, Korea. Tel: +82-2-363-9375, Fax: +82-2-312-6401, e-mail: pselab@yonsei.ac.kr
Copyright 2023 PSE Lab. All rights reserved