Formal Methodology for Safety-Critical Systems Engineering at CERN

A safety-critical system is a system whose failure or malfunctioning may lead to an injury or loss of human life or may have serious environmental consequences.

Detalles Bibliográficos
Autores principales: Valentini, F, Hakulinen, T, Hammouti, L, Ladzinski, T, Ninin, P
Lenguaje:eng
Publicado: 2014
Materias:
Accelerators and Storage Rings
Acceso en línea:http://cds.cern.ch/record/1696975
_version_ 1780936129868988416
author Valentini, F
Hakulinen, T
Hammouti, L
Ladzinski, T
Ninin, P
author_facet Valentini, F
Hakulinen, T
Hammouti, L
Ladzinski, T
Ninin, P
author_sort Valentini, F
collection CERN
description A safety-critical system is a system whose failure or malfunctioning may lead to an injury or loss of human life or may have serious environmental consequences.
id cern-1696975
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2014
record_format invenio
spelling cern-16969752022-08-17T13:25:21Zhttp://cds.cern.ch/record/1696975engValentini, FHakulinen, THammouti, LLadzinski, TNinin, PFormal Methodology for Safety-Critical Systems Engineering at CERNAccelerators and Storage RingsA safety-critical system is a system whose failure or malfunctioning may lead to an injury or loss of human life or may have serious environmental consequences.oai:cds.cern.ch:16969752014-03-04
spellingShingle Accelerators and Storage Rings
Valentini, F
Hakulinen, T
Hammouti, L
Ladzinski, T
Ninin, P
Formal Methodology for Safety-Critical Systems Engineering at CERN
title Formal Methodology for Safety-Critical Systems Engineering at CERN
title_full Formal Methodology for Safety-Critical Systems Engineering at CERN
title_fullStr Formal Methodology for Safety-Critical Systems Engineering at CERN
title_full_unstemmed Formal Methodology for Safety-Critical Systems Engineering at CERN
title_short Formal Methodology for Safety-Critical Systems Engineering at CERN
title_sort formal methodology for safety-critical systems engineering at cern
topic Accelerators and Storage Rings
url http://cds.cern.ch/record/1696975
work_keys_str_mv AT valentinif formalmethodologyforsafetycriticalsystemsengineeringatcern
AT hakulinent formalmethodologyforsafetycriticalsystemsengineeringatcern
AT hammoutil formalmethodologyforsafetycriticalsystemsengineeringatcern
AT ladzinskit formalmethodologyforsafetycriticalsystemsengineeringatcern
AT nininp formalmethodologyforsafetycriticalsystemsengineeringatcern

Ejemplares similares