Formal Techniques in Real-Time and Fault-Tolerant Systems
by Mathai Joseph
No club is reading this yet — be the first to start one
Author: Mathai Joseph
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-41055-3
DOI: 10.1007/3-540-45352-0
Table of Contents:
- Stability of Discrete Sampled Systems
- Issues in the Refinement of Distributed Programs
- Challenges in the Verification of Electronic Control Units
- Scaling up Uppaal
- Decidable Model Checking of Probabilistic Hybrid Automata
- Invariant-Based Synthesis of Fault-Tolerant Systems
- Modeling Faults of Distributed, Reactive Systems
- Threshold and Bounded-Delay Voting in Critical Control Systems
- Automating the Addition of Fault-Tolerance
- Reliability Modelling of Time-Critical Distributed Systems
- A Methodology for the Construction of Scheduled Systems
- A Dual Interpretation of “Standard Constraints” in Parametric Scheduling
- Co-Simulation of Hybrid Systems: Signal-Simulink
- A System for Object Code Validation
- Real-Time Program Refinement Using Auxiliary Variables
- On Refinement and Temporal Annotations
- Generalizing Action Systems to Hybrid Systems
- Compositional Verification of Synchronous Networks
- Modelling Coordinated Atomic Actions in Timed CSP
- A Logical Characterisation of Event Recording Automata
Discuss Formal Techniques in Real-Time and Fault-Tolerant Systems with other readers
Join or start a book club for Formal Techniques in Real-Time and Fault-Tolerant Systems on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.
Frequently asked questions
How do I join a book club for Formal Techniques in Real-Time and Fault-Tolerant Systems?
Sign up free on Readfeed, then browse public clubs or start your own club with Formal Techniques in Real-Time and Fault-Tolerant Systems as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.
Can I discuss Formal Techniques in Real-Time and Fault-Tolerant Systems with other readers online?
Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Formal Techniques in Real-Time and Fault-Tolerant Systems with readers worldwide — whether your club is virtual, in-person, or hybrid.
Is Readfeed free?
Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.