Real-Time Systems: Scheduling, Analysis, and Verification - ISBN:0471184063

Real-Time Systems: Scheduling, Analysis, and Verification

Date: 08 May 2011, 01:42

Free register and download UseNet downloader, then you can FREE Download from UseNet.

Download without Limit " Real-Time Systems: Scheduling, Analysis, and Verification " from UseNet for FREE!

The first book to provide a comprehensive overview of the subject rather than a collection of papers.
- The author is a recognized authority in the field as well as an outstanding teacher lauded for his ability to convey these concepts clearly to many different audiences.
- A handy reference for practitioners in the field.
Review
"The author provides a substantial, up-to-date overview of the verification and validation process:" (Computer Magazine, November 2004)
"The unifying discussion on the formal analysis and verification methods are especially valuable and enlightening, both for graduate students and researchers." (International Journal of General Systems, December 2003)
CONTENTS
PREFACE
LIST OF FIGURES
1 INTRODUCTION
2 ANALYSIS AND VERIFICATION OF NON-REAL-TIME SYSTEMS
3 REAL-TIME SCHEDULING AND SCHEDULABILITY ANALYSIS
4 MODEL CHECKING OF FINITE-STATE SYSTEMS
5 VISUAL FORMALISM, STATECHARTS, AND STATEMATE
6 REAL-TIME LOGIC, GRAPH-THEORETIC ANALYSIS, AND MODECHART
7 VERIFICATION USING TIMED AUTOMATA
8 TIMED PETRI NETS
9 PROCESS ALGEBRA
10 DESIGN AND ANALYSIS OF PROPOSITIONAL-LOGIC RULE-BASED SYSTEMS
11 TIMING ANALYSIS OF PREDICATE-LOGIC RULE-BASED SYSTEMS
12 OPTIMIZATION OF RULE-BASED SYSTEMS
BIBLIOGRAPHY
INDEX
PassWord: books_for_all

Download Links:

Download Link (High Speed Download)

Download Link (http://rapidshare.com/...258)

DISCLAIMER:

This site does not store Real-Time Systems: Scheduling, Analysis, and Verification on its server. We only index and link to Real-Time Systems: Scheduling, Analysis, and Verification provided by other sites. Please contact the content providers to delete Real-Time Systems: Scheduling, Analysis, and Verification if any and email us, we'll remove relevant links or contents immediately.