System safety
Overview
| Works: | 10 works in 6 publications in 6 languages | |
|---|---|---|
Titles
Advances in systems safety = proceedings of the nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011 /
by:
(Electronic resources)
FORMS/FORMAT 2010 = formal methods for automation and safety in railway and automotive systems /
by:
(Electronic resources)
Achieving systems safety = proceedings of the twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012 /
by:
(Electronic resources)
Formal techniques for safety-critical systems = second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013 : revised selected papers /
by:
(Electronic resources)
Formal techniques for safety-critical systems = third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014 : revised selected papers /
by:
(Electronic resources)
Formal techniques for safety-critical systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers /
by:
(Electronic resources)
Concise encyclopedia of system safety = definition of terms and concepts /
by:
(Electronic resources)
Data-centric safety = challenges, approaches, and incident investigation /
by:
(Electronic resources)
Subjects