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