Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Joint International Conferences on Formal Modeling 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 / edited by Yassine Lakhnech, Sergio Yovine.

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Lakhnech, Yassine (Editor), Yovine, Sergio (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
Edition:	1st ed. 2004.
Series:	Lecture Notes in Computer Science, 3253 Springer eBook Collection.
Subjects:	Computers. Computer logic. Programming languages (Electronic computers). Microprocessors. Special purpose computers. Software engineering. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of Contents:

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.

Similar Items