CERN Accelerating science

Article
Title	Formal Methodology for Safety-Critical Systems Engineering at CERN
Author(s)	Valentini, F (CERN) ; Hakulinen, T (CERN) ; Hammouti, L (CERN) ; Ladzinski, T (CERN) ; Ninin, P (CERN)
Publication	2014
Imprint	04 Mar 2014
In:	14th International Conference on Accelerator & Large Experimental Physics Control Systems, San Francisco, CA, USA, 6 - 11 Oct 2013, pp.tucoca04
Subject category	Accelerators and Storage Rings
Abstract	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.
Copyright/License	publication: (License: CC-BY)