City Research Online - Stepwise Development and Verification of a Boiler System Specification

Stepwise Development and Verification of a Boiler System Specification

Bishop, P. G., Burns, G. & Anderson, S. O. (1993). Stepwise Development and Verification of a Boiler System Specification. Paper presented at the International Workshop on the Design and Review of Software Controlled Safety-related Systems, 28 - 29 Jun 1993, National Research Council, Ottawa, Canada.

Publication Type:	Conference or Workshop Item (Paper)
Subjects:	Q Science > QA Mathematics > QA76 Computer software
Departments:	School of Science & Technology > Computer Science > Software Reliability

[thumbnail of bishop_bruns_anderson.pdf]

Preview

PDF
Download (292kB) | Preview

Export

Downloads

Downloads per month over past year

View more statistics

Metadata

Altmetric

CORE (COnnecting REpositories)

Actions (login required)

Admin Login

Creators:	Bishop, P. G. Burns, G. Anderson, S. O.
Event Title:	International Workshop on the Design and Review of Software Controlled Safety-related Systems
Event Type:	Workshop
Event Location:	National Research Council, Ottawa, Canada
Event Dates:	28 - 29 Jun 1993
Status:	Published
Refereed:	Yes
URI:	https://openaccess.city.ac.uk/id/eprint/551
Date available in CRO:	08 Nov 2011 12:57
Dates:	Date Event 1993 Published