Title: Formal techniques in real-time and fault-tolerant systems
First published: 2000
Subjects: Congresses, Real-time data processing, Fault-tolerant computing
LC classification: QA76.54 .F75 2000