VDM Specification of the Steam-Boiler Control Using RSL Notation.

Christian P. Schinagl

Published in: Formal Methods for Industrial Applications (1995)

Keyphrases

power plant
temperature control
information retrieval
high level
control system
control method
case study
data warehouse
intelligent systems
user defined
control strategy
optimal control
control theory