Rigorous development of complex fault-tolerant systems /

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

Published 2006

Conference Proceeding Book