Login / Signup
Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code.
Christoph Beierle
Egon Börger
Igor Durdanovic
Uwe Glässer
Elvinia Riccobene
Published in:
Formal Methods for Industrial Applications (1995)
Keyphrases
</>
abstract machine
power plant
control flow
formal specification
control system
source code
data flow
coal fired
control method
data model
temperature control
data sets
soft computing
process control
high level
error detection
control theory
attribute grammars
neural network