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: 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 Wed Dec 4 03:26:32 2024 CET automatisch erstellt.