ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
35
views
8
references
Top references
cited by
3
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,727
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Formal Methods for Industrial Applications
An action system approach to the steam boiler problem
other
Author(s):
Michael Butler
,
Emil Sekerinski
,
Kaisa Sere
Publication date
(Online):
June 18 2005
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
SDG 13: Climate Action
Most cited references
8
Record
: found
Abstract
: not found
Book Chapter
: not found
Parallel Program Design
K. Chandy
(1989)
0
comments
Cited
49
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
A theoretical basis for stepwise refinement and the programming calculus
Joseph M. Morris
(1987)
0
comments
Cited
43
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
The specification statement
Carroll Morgan
(1988)
0
comments
Cited
38
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
1996
Publication date (Online):
June 18 2005
Pages
: 129-148
DOI:
10.1007/BFb0027234
SO-VID:
3711a6e7-eb40-40ae-ba93-0edc8baf4969
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
The steam boiler case study: Competition of formal program specification and development methods
pp. 109
A steam-boiler control specification with statecharts and Z
pp. 379
An object-oriented algebraic steam-boiler control specification
pp. 129
An action system approach to the steam boiler problem
Similar content
3,727
Emissions of NOx from blending of hydrogen and natural gas in space heating boilers
Authors:
Optimal design, operation and analytical criteria for determining optimal operating modes of a CCHP with fired HRSG, boiler, electric chiller and absorption chiller
Authors:
Sayyed Faridoddin Afzali
,
Vladimir Mahalec
Dynamic modeling of NOX emission in a 660 MW coal-fired boiler with long short-term memory
Authors:
Peng Tan
,
Biao He
,
Cheng Zhang
…
See all similar
Cited by
3
Action Systems with Continuous Behaviour
Authors:
Mauno Rönkkö
,
Anders P. Ravn
A Theory of Service Dependency
Authors:
Mats Neovius
,
Luigia Petre
,
Kaisa Sere
Stepwise Development of Peer-to-Peer Systems
Authors:
Lu Yan
,
Kaisa Sere
See all cited by