Formal techniques in real time and fault tolerant systems : proceedings - Joseph M; Symposium on Formal Techniques in Real Time and Fault Tolerant Systems( 1988 : Warwick ); Symposium on Formal Techniques in Real Time and Fault Tolerant Systems Warwick, 1988 (Berlin Springer Verlag, 1988)
Keywords: Computer system; Fault tolerant systems; Real time theory