Formal Techniques in Real-Time and Fault-Tolerant Systems /

Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. The term `fault-tolerance' refers to a system having properties which enable it to deliver its specified function...

Full description

Bibliographic Details

Main Author:	Vytopil, Jan
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 1993.
Series:	Springer International Series in Engineering and Computer Science, Real-Time Systems ; 221.
Subjects:	Computer science. Software engineering. Computer engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book