Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings
H. Langmaack, W.-P. de Roever, J. Vytopil (eds.)
Bok
·
Engelsk
·1994
