Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems
W. P. De Roever
Details
OL Work ID
OL8056508W
Subjects
Congresses
Real-time data processing
Fault-tolerant computing
Find this book
Goodreads
Open Library