Skip to content
Vinony

Formal techniques in real-time and fault-tolerant systems

by Hans Langmaack, Willem-Paul de Roever, Jan Vytopil

Cover of Formal techniques in real-time and fault-tolerant systems
Popularity 1

No description available.

Real-time data processingFault-tolerant computing
Formal techniques in real-time and fault-tolerant systems by Hans Langmaack, Willem-Paul de Roever, Jan Vytopil — book · Vinony