Konferenzschrift | Kongress
Formal techniques in real time and fault tolerant systems : 6th international symposium ; proceedings
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540410553
3540410554
- Maße
-
24 cm
- Umfang
-
X, 303 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Erschienen in
-
Lecture notes in computer science ; Vol. 1926
- Schlagwort
-
Softwareentwicklung
Echtzeitsystem
Eingebettetes System
Formale Methode
Eingebettetes System
Echtzeitsystem
Fehlertoleranz
Echtzeitsystem
Model Checking
Verifikation
Formale Methode
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo
- (wer)
-
Springer
- (wann)
-
2000
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:20 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Konferenzschrift
- Kongress
Beteiligte
- Joseph, Mathai
- FTRTFT (6 : 2000 : Puṇe)
- Springer
Entstanden
- 2000
Ähnliche Objekte (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
Formal techniques in real-time and fault-tolerant systems, [1].. Warwick, UK, September 22 - 23, 1988
Fault tolerant routing service
Fault tolerant distributed computing
Fault-tolerant quantum computing
Formal techniques in real time and fault tolerant systems, 2.. Nijmegen, The Netherlands, January 8 - 10, 1992
Fault Tolerant Design Techniques for Smart Power Drivers and Diagnostic Circuits
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
Formal techniques in real-time and fault-tolerant systems, [1].. Warwick, UK, September 22 - 23, 1988
Fault tolerant routing service
Fault tolerant distributed computing
Fault-tolerant quantum computing
Formal techniques in real time and fault tolerant systems, 2.. Nijmegen, The Netherlands, January 8 - 10, 1992
Fault Tolerant Design Techniques for Smart Power Drivers and Diagnostic Circuits
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
Formal techniques in real-time and fault-tolerant systems, [1].. Warwick, UK, September 22 - 23, 1988
Fault tolerant routing service
Fault tolerant distributed computing
Fault-tolerant quantum computing
Formal techniques in real time and fault tolerant systems, 2.. Nijmegen, The Netherlands, January 8 - 10, 1992
Fault Tolerant Design Techniques for Smart Power Drivers and Diagnostic Circuits