
Controller Verification Using Qualitative Reasoning
- 著者名:
- Gazi, E. ( University of Pennsylvania, Philadelphia, PA )
- Seader, W.D. ( University of Pennsylvania, Philadelphia, PA )
- Ungar, L.H. ( University of Pennsylvania, Philadelphia, PA )
- Kuipers, B.J. ( University of Pennsylvania, Philadelphia, PA )
- 掲載資料名:
- AIChE 1993 ANNUAL MEETING - ST. LOUIS, MO - NOV. 7-12, 1993
- シリーズ名:
- AIChE meeting [papers]
- シリーズ巻号:
- 1993
- 発行年:
- 1993
- ペーパー番号:
- 150B9
- 総ページ数:
- 26
- 出版情報:
- New York: American Institute of Chemical Engineers
- 言語:
- 英語
- 請求記号:
- A08000
- 資料種別:
- 国際会議録
類似資料:
SPIE - The International Society of Optical Engineering |
American Institute of Chemical Engineers |
Materials Research Society |
SPIE-The International Society for Optical Engineering |
SPIE - The International Society of Optical Engineering |
American Institute of Chemical Engineers |
SPIE-The International Society for Optical Engineering |
10
![]() American Institute of Chemical Engineers |
Springer-Verlag |
SPIE - The International Society for Optical Engineering |
SPIE-The International Society for Optical Engineering |
12
![]() ESA Publications Division |