Software engineering of fault tolerant systems

Bibliographic Details
Main Author: Pelliccione, P. [ (Patrizio)] (Author)
Format: Book
Language:English
Published: Singapore : World Scientific , c2007
Series:Series on software engineering and knowledge engineering vol. 19
Subjects:
Table of Contents:
  • 1. Fault tolerance engineering: from requirements to code
  • 2. Verification and validation of fault tolerant systems
  • 3. Languages and tools for engineering fault tolerant systems