Formal techniques in real time and fault tolerant systems : proceedings - Langmaack H; International Symposium on Formal Techniques in Real Time and Fault Tolerant Systems( 3rd : 1994 : Lubeck ); International Symposium on Formal Techniques in Real Time and Fault Tolerant Systems 3rd Lubeck, 1994 (Berlin Springer Verlag, 1994)
Keywords: Computer system; Fault tolerant systems; Real time theory