Real-Time Systems, 1/e

Company:

Prentice Hall Professional Technical

Description:

Real-Time Systems, 1/e

Author: Mathai Joseph, University of Warwick

This exciting new book provides a detailed account of real-time systems: program structures for real-time, timing analysis using scheduling theory and specification 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. A large case study is analyzed using different formal frameworks. The book has been used for teaching advanced courses on real-time systems and serves also as a source-book and reference.
Details: 296 pages,ISBN 0-13-455297-0, 1996, published by Prentice Hall Professional Technical Reference

Product Properties

• URL to the product/service/project description on company's website:
  http://