Formal techniques in real-time and fault-tolerant systems
By: edited by Jan Vytopil.
Contributors: Vytopil, J. 1947-
Series: Kluwer international series in engineering and computer science ;; SECS 221.; Real-time systems; Kluwer international series in engineering and computer science ;; SECS 221.; Kluwer international series in engineering and computer science.
Publisher: Kluwer Academic Publishers; Springer
Published: 1993
Place of publication: Boston
Language: eng
Number of pages: 208
Subjects: Real-time data processing; Fault-tolerant computing
Notes: Includes bibliographical references and index.