Safety and Reliability of Software Based Systems contains papers, presented at the twelfth annual workshop organised by the Centre for Software Reliability. Con

To make communication and computation secure against catastrophic failure and malicious interference, it is essential to build secure software systems and metho

The role of software has changed from simply generating financial or mechanical data to monitoring and controlling equipment that directly affects human life an

The safe operation of computer systems, in both their software and hardware continues to be a key issue in many real time applications, when people, environment

The purpose of this report is to provide a detailed survey of current recommended practices and measurement techniques for the development of reliable and safe