Erweiterte Suche
Zurück zur Übersicht
Exportieren als [feed] RSS 1.0 [feed] RSS 2.0

Zitation

Gruppieren nach: Erscheinungsjahr | Autoren | Keine Sortierung
Springe zu: 2000 | 1999 | 1998
Anzahl der Einträge: 5.

2000

Voelzer, Hagen ; Freiling, Felix (2000) Redundancy in space in fault-tolerant systems. Technical report TUD-BS Darmstadt 00-06 [Arbeitspapier]

1999

Mantel, Heiko ; Freiling, Felix (1999) A case study in the mechanical verification of fault tolerance. Technical report TUD-BS Darmstadt 99-08 [Arbeitspapier]

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]

1998

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]

Diese Liste wurde am Sat Apr 27 03:03:53 2024 CEST automatisch erstellt.