Please use this identifier to cite or link to this item:
Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings
Peer Review Status: Refereed
Author(s): Turner, Kenneth J
Contact Email:
Title: Formally-Based Testing of Radiotherapy Accelerators
Editor(s): Procter, Robert N
Rouncefield, Mark
Citation: Turner KJ (2001) Formally-Based Testing of Radiotherapy Accelerators In: Procter Robert N, Rouncefield Mark (ed.) Dependability in Healthcare Informatics: Proceedings of the First Dependability IRC Workshop, Edinburgh, United Kingdom, March 22-23, 2001, Manchester: Lancaster University. The First Dependability IRC (Interdisciplinary Research Collaboration) Workshop, 22.3.2001 - 23.3.2001, Edinburgh, Scotland, pp. 97-99.
Issue Date: Mar-2001
Conference Name: The First Dependability IRC (Interdisciplinary Research Collaboration) Workshop
Conference Dates: 2001-03-22T00:00:00Z
Conference Location: Edinburgh, Scotland
Abstract: The paper presents the aims and research plan of the CONFORMED project (Conformance Of Radiological/Medical Devices). This three-year project will develop tools and techniques for modelling and testing radiotherapy equipment. Formal specifications in LOTOS (Language Of Temporal Ordering Specification) will be used to model accelerators formally and to derive tests rigorously based on these specifications.
Status: Post-print (author final draft post-refereeing)

Files in This Item:
File Description SizeFormat 
form-acc.pdf31.86 kBAdobe PDFView/Open

This item is protected by original copyright

Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

If you believe that any material held in STORRE infringes copyright, please contact providing details and we will remove the Work from public display in STORRE and investigate your claim.