Konferenzschrift | Kongress
Formal techniques, modelling and analysis of timed and fault tolerant systems : proceedings
This book constitutes the refereed proceedings of the joint International Conferences Formal Modelling and Analysis of Timed Systems, FORMATS 2004, and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, held in Grenoble, France in September 2004. The 24 revised full papers presented together with abstracts of 2 invited talks were carefully reviewed and selected from 70 submissions. Among the topics addressed are formal verification, voting systems, formal specification, dependable automation systems, model checking, timed automata, real-time testing, fault-tolerance protocols, fail-safe fault tolerance, real-time scheduling, satisfiability checking, symbolic model checking, stochastic hybrid systems, timed Petri nets, and event recording automata.
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540231677
3540231676
- Dimensions
-
24 cm
- Extent
-
X, 395 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 3253
- Classification
-
Informatik
- Keyword
-
Zeitdiskretes System
Formale Methode
Zeitbehafteter Automat
Formale Methode
Echtzeitsystem
Formale Methode
Fehlertoleranz
Formale Methode
Zeitbewertetes Petri-Netz
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York
- (who)
-
Springer
- (when)
-
2004
- Contributor
-
Lakhnech, Yassine
FORMATS (2 : 2004 : Grenoble)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:24 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Lakhnech, Yassine
- FORMATS (2 : 2004 : Grenoble)
- Springer
Time of origin
- 2004
Other Objects (12)
Diagnosis and fault tolerant control
Fault diagnosis and fault-tolerant control of wind turbines : nonlinear Takagi-Sugeno and sliding mode techniques
Fault diagnosis and fault-tolerant control of wind turbines : nonlinear Takagi-Sugeno and sliding mode techniques
Fault Tolerant Design Techniques for Smart Power Drivers and Diagnostic Circuits
Advanced methods for fault diagnosis and fault-tolerant control
Fault detection and fault-tolerant control for nonlinear systems
Testing and evaluation fault tolerant protocols by deterministic fault injection
Dilation, Transport, Visibility and Fault-Tolerant Algorithms
Dilation, transport, visibility and fault-tolerant algorithms
Formal techniques in real time and fault tolerant systems : 7th international symposium ; proceedings
Formal techniques in real time and fault tolerant systems : 6th international symposium ; proceedings
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings
Diagnosis and fault tolerant control
Fault diagnosis and fault-tolerant control of wind turbines : nonlinear Takagi-Sugeno and sliding mode techniques
Fault diagnosis and fault-tolerant control of wind turbines : nonlinear Takagi-Sugeno and sliding mode techniques
Fault Tolerant Design Techniques for Smart Power Drivers and Diagnostic Circuits
Advanced methods for fault diagnosis and fault-tolerant control
Fault detection and fault-tolerant control for nonlinear systems
Testing and evaluation fault tolerant protocols by deterministic fault injection
Dilation, Transport, Visibility and Fault-Tolerant Algorithms
Dilation, transport, visibility and fault-tolerant algorithms
Formal techniques in real time and fault tolerant systems : 7th international symposium ; proceedings
Formal techniques in real time and fault tolerant systems : 6th international symposium ; proceedings
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings
Diagnosis and fault tolerant control
Fault diagnosis and fault-tolerant control of wind turbines : nonlinear Takagi-Sugeno and sliding mode techniques
Fault diagnosis and fault-tolerant control of wind turbines : nonlinear Takagi-Sugeno and sliding mode techniques
Fault Tolerant Design Techniques for Smart Power Drivers and Diagnostic Circuits
Advanced methods for fault diagnosis and fault-tolerant control
Fault detection and fault-tolerant control for nonlinear systems
Testing and evaluation fault tolerant protocols by deterministic fault injection
Dilation, Transport, Visibility and Fault-Tolerant Algorithms
Dilation, transport, visibility and fault-tolerant algorithms
Formal techniques in real time and fault tolerant systems : 7th international symposium ; proceedings
Formal techniques in real time and fault tolerant systems : 6th international symposium ; proceedings