Note: Supplemental materials are not guaranteed with Rental or Used book purchases.
Purchase Benefits
What is included with this book?
Selected papers: Time concepts in real-time software | |
A temporal logic approach to state reachability in real-time program synchronization and verification | |
ZAMAN, a simple language for expressing timing constraints | |
Reliability and efficiency aspects of real-time exception handling | |
A generalized approach to program generation for process control applications | |
Prototyping real-time engineering systems using Hatley & Pirbhai's requirement model | |
A behavioral analysis and modeling method for real-time systems | |
Heterogeneous prototypes in concurrent engineering of embedded software | |
Deadline monotonic scheduling theory | |
Specification of real-time systems for protection tasks in automated high-speed transportation systems | |
Implementing mode changes and fault recovery for hard real-time systems in ada | |
Towards an environment for complex real-time control systems developing | |
The PMOS real-time kernel | |
A communication model for cooperative real-time systems | |
Relative correctness of real-time systems | |
Applying object-oriented principles in control-system design | |
Real-time toolbox for PC-MatLab | |
How to ensure software quality for real-time systems | |
Some results on hard real-time scheduling | |
Architectural support for predictability in hard real-time systems | |
Table of Contents provided by Publisher. All Rights Reserved. |
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.