Formal techniques in real-time and fault-tolerant systems
Formal techniques in real-time and fault-tolerant systems
Jan Vytopil
Details
ISBN-13
9781461532200
OL Work ID
OL18276766W
Subjects
Real-time data processing
Fault-tolerant computing
Find this book
Open Library