Mathai Joseph, University of Warwick

Published December, 1995 by Prentice Hall PTR (ECS Professional)

Copyright 1996, 296 pp.
Paper
ISBN 0-13-455297-0
$63.00

Sign up for future
mailings on this subject.

See other books about:
    System Architecture

This exciting new book provides a detailed account of real-time systems: program structures for real- time, timing analysis using scheduling theory and specifiation and verification in different frameworks. The presentation makes extensive use of recent research which has demonstrated the effectiveness and applicability of mathematically based methods for real-time system design.

Each chapter focuses on a particular technique and, taken together, the book as a whole provides broad as well as detailed coverage of the present state-of- the-art. Small examples help reinforce the theory presented in the book.