Website der UB
|
Impressum
|
Datenschutzerklärung
|
Drucken
|
Startseite
Stöbern
Volltexte
Universitätsbibliographie
Statistik
Über MADOC
Hilfe
Kontakt
Login
Erweiterte Suche
Zurück zur Übersicht
Exportieren als
ASCII Citation
BibTeX
CSL JSON
Dublin Core
Dublin Core SFX
EP3 XML
EndNote
HTML Citation
JSON
MARC21 XML
Multiline CSV
Office Document
Reference Manager
RSS 1.0
RSS 2.0
Zitation
Gruppieren nach:
Erscheinungsjahr
|
Autoren
|
Keine Sortierung
Springe zu:
F
|
M
|
V
Anzahl der Einträge:
5
.
F
Freiling, Felix
(1999)
A Survey of Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems.
Technical report TUD-BS Darmstadt 99-04 [Arbeitspapier]
Freiling, Felix
(1998)
Fundamentals of fault-tolerant distributed computing in asynchronous environments.
Technical report TUD-BS Darmstadt 98-02 [Arbeitspapier]
Freiling, Felix
(1998)
Specifications for Fault Tolerance: A Comedy of Failures.
Technical report TUD-BS Darmstadt 98-03 [Arbeitspapier]
M
Mantel, Heiko
;
Freiling, Felix
(1999)
A case study in the mechanical verification of fault tolerance.
Technical report TUD-BS Darmstadt 99-08 [Arbeitspapier]
V
Voelzer, Hagen
;
Freiling, Felix
(2000)
Redundancy in space in fault-tolerant systems.
Technical report TUD-BS Darmstadt 00-06 [Arbeitspapier]
Diese Liste wurde am
Sat Aug 17 03:54:56 2024 CEST
automatisch erstellt.