ISBN-10:
0792391675
ISBN-13:
9780792391678
Pub. Date:
08/31/1991
Publisher:
Springer US
Foundations of Real-Time Computing: Formal Specifications and Methods / Edition 1

Foundations of Real-Time Computing: Formal Specifications and Methods / Edition 1

by Andrï M. van Tilborg, Gary M. Koob

Hardcover

Current price is , Original price is $199.99. You

Temporarily Out of Stock Online

Please check back later for updated availability.

Product Details

ISBN-13: 9780792391678
Publisher: Springer US
Publication date: 08/31/1991
Series: The Springer International Series in Engineering and Computer Science , #142
Edition description: 1991
Pages: 316
Product dimensions: 6.10(w) x 9.25(h) x 0.03(d)

Table of Contents

1 Towards Mechanization of Real-Time System Design.- 2 Derivation of Sequential, Real-Time, Process Control Programs.- 3 Mathematical Models of Real-Time Scheduling.- 4 Communicating Shared Resources: A Paradigm for Integrating Real-Time Specification and Implementation.- 5 Theory of Real-Time Systems - Project Survey.- 6 HMS Machines: A Unified Framework for Specification, Verification and Reasoning for Real-Time Systems.- 7 Concepts and Models for Real-Time Concurrency.- 8 Automated Analysis of Concurrent and Real-Time Software.- 9 Towards a Timing Semantics for Programming Languages.- 10 FLEX: A Language for Programming Flexible Real-Time Systems.- 11 Requirements Specification of Hard Real-Time Systems: Experience with a Language and a Verifier.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews