Home›Books›Formal techniques in real-time and fault-tolerant systemsFormal techniques in real-time and fault-tolerant systemsby Jan VytopilNo description available.Real-time data processingFault-tolerant computing