Anzahl der Einträge: 4.
|
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 ; Fetzer, Christof ; Suri, Neeraj
(2006)
An approach to synthesize safe systems.
International Journal of Security and Networks : IJSN
Genève
62-74
[Zeitschriftenartikel]
|
|
|
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 Sun Dec 22 01:26:01 2024 CET automatisch erstellt. |
