Formal Techniques in Real-Time and Fault-Tolerant Systems
Ein kompakter Leitfaden, der die neuesten formalen Ansätze für Echtzeit‑ und fehlertolerante Systeme systematisch darstellt; er verbindet theoretische Konzepte mit praxisnahen Fallstudien aus Forschung und Industrie.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
SpringerLink DE
Formal Techniques in Real-Time and Fault-Tolerant Systems
SpringerLink DE
30-08-2026 16:53:27
