An Action System Approach to the Steam Boiler Problem


Butler, M. J., Sekerinski, E. and Sere, K., (1996) An Action System Approach to the Steam Boiler Problem Abrial, J.-R., Börger, E. and Langmaack, H. (eds.) At Formal Methods for Industrial Applications -- Specifying and Programming the Steam Boiler Control, LNCS 1165. , pp. 129-148.

Download

[img] Postscript a95-170.ps - Other
Download (270kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: Formal Methods for Industrial Applications -- Specifying and Programming the Steam Boiler Control, LNCS 1165, 1996-01-01
Organisations: Electronic & Software Systems
ePrint ID: 250579
Date :
Date Event
1996Published
Date Deposited: 14 Jun 1999
Last Modified: 18 Apr 2017 00:19
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250579

Actions (login required)

View Item View Item