Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Collectivités auteurs: | , |
| Andre forfattere: | |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
3253 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Formal techniques, modelling and analysis of timed and fault-tolerant systems, joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, proceedings, Yassine Lakhnech, Sergio Yovine (eds.), Berlin, Springer, 2004, 1 vol. (X-395 p.), Lecture notes in computer science, 3-540-23167-6 • Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Texte imprimé, 9783662208878 |
Indholdsfortegnelse:
- Invited Papers
- From Software to Hardware and Back
- Of Elections and Electrons
- Regular Papers
- Formal Verification of an Avionics Sensor Voter Using SCADE
- Mixed Delay and Threshold Voters in Critical Real-Time Systems
- Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems
- On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies
- On Timed Automata with Input-Determined Guards
- Decomposing Verification of Timed I/O Automata
- Symbolic Model Checking for Simply-Timed Systems
- Robustness and Implementability of Timed Automata
- Real-Time Testing with Timed Automata Testers and Coverage Criteria
- Monitoring Temporal Properties of Continuous Signals
- A Unified Fault-Tolerance Protocol
- Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications
- Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata
- Static Fault-Tolerant Real-Time Scheduling with Pseudo-topological Orders
- The Influence of Durational Actions on Time Equivalences
- Bounded Model Checking for Region Automata
- Some Progress in Satisfiability Checking for Difference Logic
- Model-Checking for Weighted Timed Automata
- Symbolic Model Checking for Probabilistic Timed Automata
- Structured Modeling of Concurrent Stochastic Hybrid Systems
- Computing Schedules for Multithreaded Real-Time Programs Using Geometry
- Forward Reachability Analysis of Timed Petri Nets
- Lazy Approximation for Dense Real-Time Systems
- Learning of Event-Recording Automata.