Safety-Critical Systems : Problems, Process and Practice, Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 2009

Contains the papers presented at the seventeenth annual Safety-critical Systems Symposium, held at Brighton, UK, in February 2009. This title covers the safety topics, and a blend of academic research and industrial experience. It is of interest to both academics and practitioners working in the safety-critical systems arena.