Formal techniques in real-time and fault-tolerant systems.
By: H. Langmaack, W. -P. de Roever, J. Vytopil (Eds.).
Contributors: Langmaack, Hans.; Vytopil, J.; De Roever, W. -P.
Series: Lecture Notes in Computer Science S -- 863
Publisher: Springer-Verlag
Published: 1994
Place of publication: Berlin
Language: eng
Number of pages: 787