Rigorous development of complex fault-tolerant systems /

Bibliographic Details
Corporate Author:	Workshop on Rigorous Engineering of Fault-tolerant Systems Newcastle upon Tyne, England
Other Authors:	Butler, Michael, 1967-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [2006]
Series:	Lecture notes in computer science ; 4157. Lecture notes in computer science. State-of-the-art survey.
Subjects:	Fault-tolerant computing > Congresses. Computer software > Reliability > Congresses. Electronic digital computers > Reliability > Congresses. Formal methods (Computer science) > Congresses.

Remote Storage