Real-time systems
Subtitle: formal specification and automatic verification
By: Ernst-Rüdiger Olderog and Henning Dierks.
Contributors: Dierks, H.
Publisher: Cambridge University Press
Published: 2008
Place of publication: Cambridge, UK; New York
Language: eng
Number of pages: 320
ISBN-13: 9780521883337
Subjects: Real-time data processing
Notes: Includes bibliographical references (p. 304-311) and index.