Konferenzschrift | Kongress
Formal techniques in real time and fault tolerant systems : 6th international symposium ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540410553
3540410554
- Dimensions
-
24 cm
- Extent
-
X, 303 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 1926
- Keyword
-
Softwareentwicklung
Echtzeitsystem
Eingebettetes System
Formale Methode
Eingebettetes System
Echtzeitsystem
Fehlertoleranz
Echtzeitsystem
Model Checking
Verifikation
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
2000
- Contributor
- 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:20 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
- Joseph, Mathai
- FTRTFT (6 : 2000 : Puṇe)
- Springer
Time of origin
- 2000
Other Objects (12)
Formal Configuration of Fault-Tolerant Systems
Formal configuration of fault-tolerant systems
Formal techniques, modelling and analysis of timed and fault tolerant systems : proceedings
Formal techniques in real time and fault tolerant systems : 7th international symposium ; proceedings
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings
Fault-tolerant quantum computing
Fault tolerant routing service
Fault tolerant distributed computing
Formal techniques in real-time and fault-tolerant systems, [1].. Warwick, UK, September 22 - 23, 1988
Fault Tolerant Design Techniques for Smart Power Drivers and Diagnostic Circuits
Formal techniques in real time and fault tolerant systems, 2.. Nijmegen, The Netherlands, January 8 - 10, 1992
Formal analysis of fault tolerant algorithms in the time triggered architecture
Formal Configuration of Fault-Tolerant Systems
Formal configuration of fault-tolerant systems
Formal techniques, modelling and analysis of timed and fault tolerant systems : proceedings
Formal techniques in real time and fault tolerant systems : 7th international symposium ; proceedings
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings
Fault-tolerant quantum computing
Fault tolerant routing service
Fault tolerant distributed computing
Formal techniques in real-time and fault-tolerant systems, [1].. Warwick, UK, September 22 - 23, 1988
Fault Tolerant Design Techniques for Smart Power Drivers and Diagnostic Circuits
Formal techniques in real time and fault tolerant systems, 2.. Nijmegen, The Netherlands, January 8 - 10, 1992
Formal analysis of fault tolerant algorithms in the time triggered architecture
Formal Configuration of Fault-Tolerant Systems
Formal configuration of fault-tolerant systems
Formal techniques, modelling and analysis of timed and fault tolerant systems : proceedings
Formal techniques in real time and fault tolerant systems : 7th international symposium ; proceedings
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings
Fault-tolerant quantum computing
Fault tolerant routing service
Fault tolerant distributed computing
Formal techniques in real-time and fault-tolerant systems, [1].. Warwick, UK, September 22 - 23, 1988
Fault Tolerant Design Techniques for Smart Power Drivers and Diagnostic Circuits
Formal techniques in real time and fault tolerant systems, 2.. Nijmegen, The Netherlands, January 8 - 10, 1992