|
|
Sold Out
Book Categories |
| Uppaal Implementation Secrets | 3 | |
| Software Hazard and Safety Analysis | 23 | |
| Real-Time Operating Systems: Problems and Novel Solutions | 37 | |
| Real-Time UML | 53 | |
| Eager Class Initialization for Java | 71 | |
| Applications of Formal Methods in Biology | 81 | |
| An Overview of Formal Verification for the Time-Triggered Architecture | 83 | |
| Scheduler Modeling Based on the Controller Synthesis Paradigm | 107 | |
| Component-Based Synthesis of Dependable Embedded Software | 111 | |
| From the Specification to the Scheduling of Time-Dependent Systems | 129 | |
| On Control with Bounded Computational Resources | 147 | |
| Decidability of Safety Properties of Timed Multiset Rewriting | 165 | |
| Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning | 185 | |
| Fault Diagnosis for Timed Automata | 205 | |
| Verification of Timed Automata via Satisfiability Checking | 225 | |
| Take It NP-Easy: Bounded Model Construction for Duration Calculus | 245 | |
| Towards Bounded Model Checking for the Universal Fragment of TCTL | 265 | |
| A Typed Interrupt Calculus | 291 | |
| Parametric Verification of a Group Membership Algorithm | 311 | |
| A Method for Testing the Conformance of Real Time Systems | 331 | |
| A Probabilistic Extension of UML Statecharts | 355 | |
| Eliminating Queues from RT UML Model Representations | 375 | |
| Model Checking - Timed UML State Machines and Collaborations | 395 | |
| Partial Order Path Technique for Checking Parallel Timed Automata | 417 | |
| Constructing Test Automata from Graphical Real-Time Requirements | 433 | |
| Author Index | 455 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
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 List
X
This item is in your Collection
Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International Symposium, FTRTFT 2002, Co-Sponsored by IFIP WG 2.2, Oldenburg, Germany, September 2002: Proceedings
X
This Item is in Your Inventory
Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International Symposium, FTRTFT 2002, Co-Sponsored by IFIP WG 2.2, Oldenburg, Germany, September 2002: Proceedings
X
You must be logged in to review the productsX
X
X
Add Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International Symposium, FTRTFT 2002, Co-Sponsored by IFIP WG 2.2, Oldenburg, Germany, September 2002: Proceedings, This book constitutes the refereed proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2002, held in Oldenburg, Germany, in September 2002. The 17 revised full papers presented together w, Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International Symposium, FTRTFT 2002, Co-Sponsored by IFIP WG 2.2, Oldenburg, Germany, September 2002: Proceedings to the inventory that you are selling on WonderClubX
X
Add Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International Symposium, FTRTFT 2002, Co-Sponsored by IFIP WG 2.2, Oldenburg, Germany, September 2002: Proceedings, This book constitutes the refereed proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2002, held in Oldenburg, Germany, in September 2002. The 17 revised full papers presented together w, Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International Symposium, FTRTFT 2002, Co-Sponsored by IFIP WG 2.2, Oldenburg, Germany, September 2002: Proceedings to your collection on WonderClub |