Automatic Verification of Real Time Batch Process Schedules using Symbolic Model Verification
- 著者名:
- Kim, Jinkyung ( Dept. of Chemical Engineering, Yonsei University, Seoul,Republic of Korea )
- Lee, Hanyong ( Yonsei University, Seoul, Korea )
- Moon, Il ( Yonsei University, Seoul, Korea )
- 掲載資料名:
- AIChE 1999 ANNUAL MEETING
- シリーズ名:
- AIChE meeting [papers]
- シリーズ巻号:
- 1999
- 発行年:
- 1999
- ペーパー番号:
- 211o
- 総ページ数:
- 7
- 出版情報:
- New York: American Institute of Chemical Engineers
- 言語:
- 英語
- 請求記号:
- A08000
- 資料種別:
- 国際会議録
類似資料:
|
American Institute of Chemical Engineers |
7
国際会議録
Safety and Operability Analysis of Chemical Process Designs using Symbolic Model Verification
American Institute of Chemical Engineers |
|
American Institute of Chemical Engineers |
SPIE - The International Society of Optical Engineering |
|
American Institute of Chemical Engineers |
9
国際会議録
(64f) Optimal Design of Biomass Processing Networks for Biofuel Production Under Uncertainty
American Institute of Chemical Engineers |
|
4
国際会議録
578y. A Novel Integrated Design of Wastewater and Heat Exchange Networks Based on Cost Estimation
American Institute of Chemical Engineers |
10
国際会議録
(64f) Optimal Design of Biomass Processing Networks for Biofuel Production Under Uncertainty
American Institute of Chemical Engineers |
|
5
国際会議録
(599al) An Optimization Strategy for Batch Process Scheduling Under Processing Time Uncertainty
American Institute of Chemical Engineers |
American Institute of Chemical Engineers |
|
American Institute of Chemical Engineers |
American Institute of Chemical Engineers |