Steam Boiler

From nlrp Benchmark
Jump to: navigation, search
Steam Boiler
Date: n/a
Length: 0000 words
Source: Paper
Author: n/a



Text

Steam Boiler Control Specification Problem

Source

Abrial, J.-R. : Abrial, J.-R.; Börger, E. & Langmaack, H. (Eds.) : Steam-boiler control specification problem. Formal Methods for Industrial Applications, Springer Berlin Heidelberg, 1996, 1165, 500-509. DOI: 10.1007/BFb0027252

Solutions

Personal tools
Namespaces
Variants
Actions
Navigation
Toolbox