Real-time systems,

Company:

Care of IEEE USA

Description:

Real-time systems, abstractions, languages and design methodologies.

Author: Krishna M. Kavi

This tutorial text includes a survey of articles specifically written for the tutorial and a collection of major research publications that address formalisms, languages, and design methodologies used in Real-time systems. The tutorial is divided into four chapters: Real-Time Systems: Perspectives , Real-Time Specification and Verification, Real-Time Languages and Real-Time Systems Design Methodologies.
Details: 660 pages, ISBN 0-8186-3152-X, 1992, published by IEEE Computer Society Press

Product Properties

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