Formal techniques in real-time and fault-tolerant systems

Formal techniques in real-time and fault-tolerant systems

Bibliographic Details
Format: Book
Language:English
Published: Boston Kluwer Academic Publishers c1993.
Subjects:
Fault-tolerant computing.
Real-time data processing.