1 paper · 1 filter
Robin Bloomfield, John Rushby
We draw on our experience working on system and software assurance and evaluation for systems important to society to summarise how safety engineering is performed in traditional c…