Formal techniques in real time and fault tlerant systems : proceedings - Langmaack H; International Symposium on Formal Techniques in Real Time and Fault Tolerant Systems( 2nd : 1992 : Netherlands ); International Symposium on Formal Techniques in Real Time and Fault Tolerant Systems 2nd , Netherlands 1992 (Berlin Springer Verlag, 1992)
Keywords: Computer system; Fault tolerant systems; Real time theory