Formal techniques in real-time and fault-tolerant systems
by Hans Langmaack, Willem-Paul de Roever, Jan Vytopil
Real-time data processingFault-tolerant computing
Writing a summary for young readers…
For young readers
Book data: Open Library
by Hans Langmaack, Willem-Paul de Roever, Jan Vytopil
Book data: Open Library