Springer
CD-ROM OverviewTable of ContentsSearch

C  The Steam-Boiler Control Specification Problem

Michel Bidoit1 and Peter D. Mosses2

1 Laboratoire Spécification et Vérification, CNRS UMR 8643
École Normale Supérieure de Cachan
61, Avenue du Président Wilson, 94235 Cachan Cedex, France
bidoit@lsv.ens-cachan.fr

2 University of Aarhus, BRICS and Department of Computer Science
Aabogade 34, 8200 Aarhus N, Denmark
pdmosses@brics.dk

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

Full article in PDF


lncs@springer.de
© Springer-Verlag Berlin Heidelberg 2004