1 paper · 1 filter
Robin Bloomfield, John Rushby
We outline the principles of classical assurance for computer-based systems that pose significant risks. We then consider application of these principles to systems that employ Art…