Cover Image

Real-time systems : formal specification and automatic verification /

Bibliographic Details
Main Author: Olderog, E.-R
Other Authors: Dierks, H.
Format: Book
Language:English
Published: Cambridge, UK ; New York : Cambridge University Press, 2008.
Subjects:
Real-time data processing.
Description
Physical Description:xvi, 320 pages : illustrations ; 26 cm.
Bibliography:Includes bibliographical references (pages 304-311) and index.
ISBN:0521883334 (hbk.)
9780521883337 (hbk.)