Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

The Testability of Distributed Real-Time Systems - a book by Schütz, Werner

The Testability of Distributed Real-Time Systems

The Testability of Distributed Real-Time Systems( )
Author: Schütz, Werner
Series title:The Springer International Series in Engineering and Computer Science Ser.
ISBN:978-1-4757-7000-1
Publication Date:Mar 2013
Publisher:Springer
Book Format:Paperback
List Price:USD $209.00
Book Description:

BY H. KOPETZ A real-time computer system must provide the intended service in two di­ mensions: the functional (value) dimension and the temporal dimension. The verification of a real-time system implementation is thus necessarily more com­ plex than the verification of a non-real-time system which has to be checked in the value dimension only. Since the formal verification techniques of temporal properties have not yet matured to the point where these techniques can be used in...
More Description

Book Details
Pages:144
Detailed Subjects: Computers / Data Processing
Physical Dimensions (W X L X H):6.045 x 9.165 x 0.137 Inches
Book Weight:0.572 Pounds

Book Seller

Condition

Price

Shipping

Total

Loading Stock Details...


NEW!
Bowker Bookwire™ App

Bookwire is a mobile app for your iPhone that gives you the ability to scan a barcode or enter ISBN, access book records and add titles to wish lists. Android app on Google Play

Featured Books

Surrender, New York
Carr, Caleb
Hardback: $30.00
The Nix
Hill, Nathan
Hardback: $27.95
Girl in Pieces
Glasgow, Kathleen
Hardback: $18.99

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.