Contents of Report

[Data of Report]

Report Number:

TR0789

Date of Registration:

1992.08

English Title:

An Algebraic Specification and Verification of A Plant Control Expert System

Japanese Title:

代数仕様によるプラント制御エキスパートシステムの記述と検証

English Author:

T.Uraoka,J.Yamamoto,A.Ohsuga,S.Honiden

Japanese:

浦岡 徹,山本 純一,大須賀 昭彦,本位田 真一

Name of Organization to which author belongs:

Toshiba,Toshiba,Toshiba,Toshiba

PDF:

tr0789.pdf

[Contents]

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports