عنوان

Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988

92003

آخر۲۷

English

)20(

Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988

Berlin; New York

Springer-Verlag

c1988

vi, 229 p. : ill. ; 25 cm

Lecture notes in computer science, 133

Papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick

Includes bibliographies

، Real-time data processing-- Congresses

، Fault-tolerant computing-- Congresses

F66

1988

M. Joseph, ed

CO Joseph

CO Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Warwick, England(, )8891 : Warwick, England(