Formal techniques in real-time and fault-tolerant systems third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lubeck, Germany, September 19-23, 1994 : proceedings

Formal techniques in real-time and fault-tolerant systems third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lubeck, Germany, September 19-23, 1994 : proceedings

מידע ביבליוגרפי
מחבר תאגידי: International Symposium Provably Correct Systems - ProCoS (3rd : 1994 : Germany)
פורמט: ספר
שפה:English
יצא לאור: Berlin Springer-Verlag c1994.
סדרה:Lecture notes in computer science ; 863
נושאים:
Fault-tolerant computing > Congresses.
Real-time data processing > Congresses.