A VDM Specification of the Steam-Boiler Problem.
Yves LedruMarie-Laure PotetPublished in: Formal Methods for Industrial Applications (1995)
Keyphrases
- power plant
- coal fired
- soft computing
- high level
- formal specification
- fault diagnosis
- user defined
- historical data
- social networks
- artificial intelligence
- temperature control
- provably correct
- asynchronous circuits
- formal language
- formal verification
- specification language
- formal methods
- information retrieval
- intelligent systems
- decision support system
- computational intelligence
- object oriented
- multiscale