STORRE
STORRE: Stirling Online Research Repository
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 |
| Author(s): | Turner, Kenneth J |
| Contact Email: | kjt@cs.stir.ac.uk |
| 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 RN & Rouncefield M (eds.) 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, Scotland, 22.03.2001-23.03.2001. Manchester: Lancaster University, pp. 97-99. http://dirc.cs.ncl.ac.uk/publications/proceedings/index.php |
| Issue Date: | Mar-2001 |
| Date Deposited: | 18-Dec-2008 |
| Conference Name: | The First Dependability IRC (Interdisciplinary Research Collaboration) Workshop |
| Conference Dates: | 2001-03-22 - 2001-03-23 |
| 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: | AM - Accepted Manuscript |
| URL: | http://dirc.cs.ncl.ac.uk/publications/proceedings/index.php |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| form-acc.pdf | Fulltext - Accepted Version | 31.86 kB | Adobe PDF | View/Open |
This item is protected by original copyright |
Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved https://creativecommons.org/publicdomain/zero/1.0/
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.