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

Zitation

Gruppieren nach: Dokumenttyp | Erscheinungsjahr | Keine Sortierung
Springe zu: 2007 | 2006 | 2004 | 2002
Anzahl der Einträge: 4.

2007

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]

2006

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]

2004

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]

2002

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 Thu Nov 21 01:16:04 2024 CET automatisch erstellt.