Sold Out
Book Categories |
Stability of Discrete Sampled Systems | 1 | |
Issues in the Refinement of Distributed Programs | 12 | |
Challenges in the Verification of Electronic Control Units | 18 | |
Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction | 19 | |
Decidable Model Checking of Probabilistic Hybrid Automata | 31 | |
Invariant-Based Synthesis of Fault-Tolerant Systems | 46 | |
Modeling Faults of Distributed, Reactive Systems | 58 | |
Threshold and Bounded-Delay Voting in Critical Control Systems | 70 | |
Automating the Addition of Fault-Tolerance | 82 | |
Reliability Modelling of Time-Critical Distributed Systems | 94 | |
A Methodology for the Construction of Scheduled Systems | 106 | |
A Dual Interpretation of "Standard Constraints" in Parametric Scheduling | 121 | |
Co-simulation of Hybrid Systems: Signal-Simulink | 134 | |
A System for Object Code Validation | 152 | |
Real-Time Program Refinement Using Auxiliary Variables | 170 | |
On Refinement and Temporal Annotations | 185 | |
Generalizing Action Systems to Hybrid Systems | 202 | |
Compositional Verification of Synchronous Networks | 214 | |
Modelling Coordinated Atomic Actions in Timed CSP | 228 | |
A Logical Characterisation of Event Recording Automata | 240 | |
Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata | 252 | |
Probabilistic Neighbourhood Logic | 264 | |
An On-the-Fly Tableau Construction for a Real-Time Temporal Logic | 276 | |
Verifying Universal Properties of Parameterized Networks | 291 | |
Author Index | 305 |
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 CollectionFormal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of the 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000
X
This Item is in Your InventoryFormal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of the 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000
X
You must be logged in to review the productsX
X
X
Add Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of the 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, This book constitutes the refereed proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2000, held in Pune, India in September 2000. The 21 revised full papers presented together with three in, Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of the 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 to the inventory that you are selling on WonderClubX
X
Add Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of the 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, This book constitutes the refereed proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2000, held in Pune, India in September 2000. The 21 revised full papers presented together with three in, Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of the 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 to your collection on WonderClub |