Sold Out
Book Categories |
Preface: Engineering of Distributed Control Systems | ||
Ch. 1 | Use Cases for Distributed Real-Time Software Architectures | 1 |
Ch. 2 | Formal Design of Real-Time Systems in a Platform-Independent Way | 19 |
Ch. 3 | Automatic effective verification method for distributed and concurrent systems using timed language inclusion | 41 |
Ch. 4 | Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems | 59 |
Ch. 5 | Automatic Derivation of Path and Loop Annotations | 81 |
Ch. 6 | Integrated Scheduling of Tasks and Messages in Distributed Real-time Systems | 99 |
Ch. 7 | Real-Time Scheduling in Video Systems | 113 |
Ch. 8 | A Real-Time Java Server for Real-Time Mach | 133 |
Index | 147 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionEnvironmental Laws: Summaries of Statutes Administered by the Environmental Protection Agency
X
This Item is in Your InventoryEnvironmental Laws: Summaries of Statutes Administered by the Environmental Protection Agency
X
You must be logged in to review the productsX
X
X
Add Environmental Laws: Summaries of Statutes Administered by the Environmental Protection Agency, , Environmental Laws: Summaries of Statutes Administered by the Environmental Protection Agency to the inventory that you are selling on WonderClubX
X
Add Environmental Laws: Summaries of Statutes Administered by the Environmental Protection Agency, , Environmental Laws: Summaries of Statutes Administered by the Environmental Protection Agency to your collection on WonderClub |