1. STORRE
  2. Faculty of Natural Sciences
  3. Computing Science and Mathematics
  4. Computing Science and Mathematics Conference Papers and Proceedings
Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/634
Full metadata record
DC FieldValueLanguage
dc.contributor.authorTurner, Kenneth Jen_UK
dc.contributor.editorProcter, Robert Nen_UK
dc.contributor.editorRouncefield, Marken_UK
dc.date.accessioned2017-08-21T23:25:05Z-
dc.date.available2017-08-21T23:25:05Z-
dc.date.issued2001-03en_UK
dc.identifier.urihttp://hdl.handle.net/1893/634-
dc.description.abstractThe 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.en_UK
dc.language.isoenen_UK
dc.publisherLancaster Universityen_UK
dc.relationTurner 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.phpen_UK
dc.titleFormally-Based Testing of Radiotherapy Acceleratorsen_UK
dc.typeConference Paperen_UK
dc.citation.spage97en_UK
dc.citation.epage99en_UK
dc.citation.publicationstatusPublisheden_UK
dc.citation.peerreviewedRefereeden_UK
dc.type.statusAM - Accepted Manuscripten_UK
dc.identifier.urlhttp://dirc.cs.ncl.ac.uk/publications/proceedings/index.phpen_UK
dc.author.emailkjt@cs.stir.ac.uken_UK
dc.citation.btitleDependability in Healthcare Informatics: Proceedings of the First Dependability IRC Workshop, Edinburgh, United Kingdom, March 22-23, 2001en_UK
dc.citation.conferencedates2001-03-22 - 2001-03-23en_UK
dc.citation.conferencelocationEdinburgh, Scotlanden_UK
dc.citation.conferencenameThe First Dependability IRC (Interdisciplinary Research Collaboration) Workshopen_UK
dc.publisher.addressManchesteren_UK
dc.contributor.affiliationComputing Scienceen_UK
dc.identifier.wtid830228en_UK
dcterms.dateAccepted2001-03-31en_UK
dc.date.filedepositdate2008-12-18en_UK
rioxxterms.typeConference Paper/Proceeding/Abstracten_UK
rioxxterms.versionAMen_UK
local.rioxx.authorTurner, Kenneth J|en_UK
local.rioxx.projectInternal Project|University of Stirling|https://isni.org/isni/0000000122484331en_UK
local.rioxx.contributorProcter, Robert N|en_UK
local.rioxx.contributorRouncefield, Mark|en_UK
local.rioxx.freetoreaddate2008-12-18en_UK
local.rioxx.licencehttp://www.rioxx.net/licenses/all-rights-reserved|2008-12-18|en_UK
local.rioxx.filenameform-acc.pdfen_UK
local.rioxx.filecount1en_UK
Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings

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


This item is protected by original copyright

View License
Show simple item record


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.