Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/634
Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings
Peer Review Status: Refereed
Authors: Turner, Kenneth J
Contact Email: kjt@cs.stir.ac.uk
Title: Formally-Based Testing of Radiotherapy Accelerators
Editors: 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, Edinburgh, U.K., 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)
URI: http://hdl.handle.net/1893/634
URL: http://dirc.cs.ncl.ac.uk/publications/proceedings/index.php
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 library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.