Cargando…

A Report on the Review and Formal Analysis of the SRS Personnel Safety System

Detalles Bibliográficos
Autores principales: Heron, M T, Alexander, J R, Quinn, P D
Lenguaje:eng
Publicado: 2001
Materias:
Acceso en línea:http://cds.cern.ch/record/556246
_version_ 1780898882174058496
author Heron, M T
Alexander, J R
Quinn, P D
author_facet Heron, M T
Alexander, J R
Quinn, P D
author_sort Heron, M T
collection CERN
id cern-556246
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2001
record_format invenio
spelling cern-5562462019-09-30T06:29:59Zhttp://cds.cern.ch/record/556246engHeron, M TAlexander, J RQuinn, P DA Report on the Review and Formal Analysis of the SRS Personnel Safety SystemAccelerators and Storage Ringsoai:cds.cern.ch:5562462001
spellingShingle Accelerators and Storage Rings
Heron, M T
Alexander, J R
Quinn, P D
A Report on the Review and Formal Analysis of the SRS Personnel Safety System
title A Report on the Review and Formal Analysis of the SRS Personnel Safety System
title_full A Report on the Review and Formal Analysis of the SRS Personnel Safety System
title_fullStr A Report on the Review and Formal Analysis of the SRS Personnel Safety System
title_full_unstemmed A Report on the Review and Formal Analysis of the SRS Personnel Safety System
title_short A Report on the Review and Formal Analysis of the SRS Personnel Safety System
title_sort report on the review and formal analysis of the srs personnel safety system
topic Accelerators and Storage Rings
url http://cds.cern.ch/record/556246
work_keys_str_mv AT heronmt areportonthereviewandformalanalysisofthesrspersonnelsafetysystem
AT alexanderjr areportonthereviewandformalanalysisofthesrspersonnelsafetysystem
AT quinnpd areportonthereviewandformalanalysisofthesrspersonnelsafetysystem
AT heronmt reportonthereviewandformalanalysisofthesrspersonnelsafetysystem
AT alexanderjr reportonthereviewandformalanalysisofthesrspersonnelsafetysystem
AT quinnpd reportonthereviewandformalanalysisofthesrspersonnelsafetysystem