Real-Time Systems Specification Verification and Analysis

Joseph Mathai Editing

ISBN 10: 0134552970 / ISBN 13: 9780134552972

Published by Prentice-Hall, London, 1996

About this Item

Clean bright copy.

Seller Inventory # 328943

Bibliographic Details

• Title: Real-Time Systems Specification Verification and Analysis
• Publisher: Prentice-Hall, London
• Publication Date: 1996
• Language: English
• ISBN 10: 0134552970
• ISBN 13: 9780134552972
• Binding: Soft Cover
• Edition: First Edition.
• Condition: Very Good
• Dust Jacket Condition: No Jacket
• Book Type: 328943

About this title

Synopsis

This text provides an account of real-time systems. The presentation makes use of recent research demonstrating the effectiveness and applicability of mathematically-based methods for real-time system design. Each chapter focuses on a particular technique, and examples help reinforce the theory.

From the Back Cover

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.