Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science / Programming and Software Engineering)

by Michael Butler (Editor), Cliff Jones (Editor), Alexander Romanovsky (Editor), ElenaTroubitsyna (Editor)

• New

  Paperback
  2006

  $79.91

  This book brings together 19 papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems. It is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005.