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
Authors: Turner, Kenneth J
Contact Email:
Title: Formally-Based Testing of Radiotherapy Accelerators
Editors: Procter, Robert N
Rouncefield, Mark
Citation: Turner KJ (2001) Formally-Based Testing of Radiotherapy Accelerators, Procter Robert N, Rouncefield Mark (ed.) Dependability in Healthcare Informatics: Proceedings of the First Dependability IRC Workshop, Edinburgh, United Kingdom, March 22-23, 2001, The First Dependability IRC (Interdisciplinary Research Collaboration) Workshop, Edinburgh, U.K., manchester: Lancaster University, pp. 97-99.
Issue Date: Mar-2001
Conference Name: The First Dependability IRC (Interdisciplinary Research Collaboration) Workshop
Conference Location: Edinburgh, U.K.
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.
Type: Conference Paper
Status: Post-print (author final draft post-refereeing)
Affiliation: Computing Science - CSM Dept

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.