Cargando…

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:
Acceso en línea:http://cds.cern.ch/record/1696975