Cover Image

Rigorous development of complex fault-tolerant systems /

Show other versions (1)
Bibliographic Details
Corporate Authors: Workshop on Rigorous Engineering of Fault-tolerant Systems Newcastle upon Tyne, England, SpringerLink (Online service), International Symposium of Formal Methods Europe
Other Authors: Butler, Michael, 1967-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2006]
Series:LNCS sublibrary. Programming and software engineering.
Lecture notes in computer science ; 4157.
Lecture notes in computer science. State-of-the-art survey.
Subjects:
Computer software > Reliability > Congresses.
Electronic digital computers > Reliability > Congresses.
Fault-tolerant computing > Congresses.
Formal methods (Computer science) > Congresses.
Electronic books.
Online Access:Connect to the full text of this electronic book
Publisher description
Description
Item Description:"A workshop on Rigorous Engineering of Fault Tolerant Systems, REFT 2005, was held in conjunction with the Formal Methods 2005 conference at Newcastle University"--Pref.
Electronic resource.
Physical Description:x, 402 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540482679
9783540482673
ISSN:0302-9743 ;
DOI:10.1007/11916246