Safety-critical Computer Systems
Neil Storey
For both engineering and computer science students and for practising engineers within computer related industries, this book provides a thorough introduction to the field of Safety Critical Computer Systems.