Real-time systems
Subtitle: specification, verification, and analysis
By: edited by Mathai Joseph.
Contributors: Joseph, M.
Series: Prentice Hall International series in computer science
Publisher: Prentice Hall
Published: 1996
Place of publication: London; New York
Language: eng
Number of pages: 278
Subjects: Real-time data processing.
Notes: Includes bibliographical references (p. 259-271) and index.