|Appears in Collections:||Computing Science and Mathematics Conference Papers and Proceedings|
|Peer Review Status:||Refereed|
|Authors:||Turner, Kenneth J|
|Title:||Formally-Based Testing of Radiotherapy Accelerators|
|Editors:||Procter, Robert N|
|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.|
|Conference Name:||The First Dependability IRC (Interdisciplinary Research Collaboration) Workshop|
|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)|
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 email@example.com providing details and we will remove the Work from public display in STORRE and investigate your claim.