![]() |
| ||
C The Steam-Boiler Control Specification ProblemMichel Bidoit1 and Peter D. Mosses2 1 Laboratoire Spécification et Vérification, CNRS UMR 8643 Abstract. For completeness, the text describing the steam-boiler control system case study, as originally provided by Jean-Raymond Abrial, is reproduced here (except for the "Additional Information" section, see [1, pp. 507-509]). LNCS 2900, pp. 211 - 219 lncs@springer.de
|