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

Zitation

Gruppieren nach: Dokumenttyp | Erscheinungsjahr | Keine Sortierung
Anzahl der Einträge: 4.

Zeitschriftenartikel

Freiling, Felix ; Jhumka, Arshad ; Fetzer, Christof ; Suri, Neeraj (2006) An approach to synthesize safe systems. International Journal of Security and Networks : IJSN Genève 62-74 [Zeitschriftenartikel]

Konferenzveröffentlichung

Freiling, Felix ; Jhumka, Arshad Global Predicate Detection in Distributed Systems with Small Faults. Masuzawa, Toshimitsu Lecture Notes in Computer Science 4838 296-310 In: Stabilization, safety, and security of distributed systems : 9th International Symposium, SSS 2007, Paris, France, November 14 - 16, 2007; proceedings (2007) Berlin [u.a.] [Konferenzveröffentlichung]

Freiling, Felix ; Jhumka, Arshad Automating the addition of fail-safe fault-tolerance : Beyond fusion-closed specifications. Lakhnech, Yassine Lecture Notes in Computer Science 3253 183-198 In: Formal techniques, modelling and analysis of timed and fault-tolerant systems : FTRTFT 2004, Grenoble, France, September 22 - 24, 2004; proceedings (2004) Berlin [u.a.] [Konferenzveröffentlichung]

Arbeitspapier

Jhumka, Arshad ; Freiling, Felix ; Fetzer, Christof ; Suri, Neeraj (2002) On Systematic Design of Fast and Perfect Detectors. Technical Report / Swiss Federal Institute of Technology (EPFL), School of Computer and Communication Sciences Lausanne 200263 [Arbeitspapier]

Diese Liste wurde am Fri Mar 29 01:16:47 2024 CET automatisch erstellt.