 | 1986 |
|---|
| 9 |       | Hermann Schmutz,
Herbert Eberle,
Ulf Hollberg,
Manfred H. Seifert:
Distributed academic computing.
ACM SIGOPS European Workshop 1986 |
| 8 |  | Manfred H. Seifert,
Herbert Eberle:
Remote Service Call (RCS): An Network Operating System Kernel for Heterogeneous Distributed Systems.
ARCS 1986: 292-305 |
| 7 | | Kurt Geihs,
Manfred H. Seifert:
Validation of a Protocol for Application Layer Services.
ARCS 1986: 306-320 |
| 6 | | Manfred H. Seifert,
Herbert Eberle:
Remote Service Call: A NOS Kernel and its Protocols.
ICCC 1986: 675-680 |
| 5 | | Kurt Geihs,
Manfred H. Seifert:
Automated Validation of a Co-operation Protocol for Distributed Systems.
ICDCS 1986: 436-443 |
| 4 | | Ernst Schmitter,
Manfred H. Seifert:
Einsatz fehlertolerierender Rechensysteme.
Informatik Spektrum 9(2): 119-128 (1986) |
| 1984 |
|---|
| 3 | | Fevzi Belli,
Silvia Pfleger,
Manfred H. Seifert:
Software-Fehlertoleranz und -Zuverlässigkeit
Springer 1984 |
| 2 | | Manfred H. Seifert:
Formale Methode oder pragmatisches Vorgehen für die Software-Fehlertoleranz und -Zuverlässigkeit?
Software-Fehlertoleranz und -Zuverlässigkeit 1984: 293-297 |
| 1982 |
|---|
| 1 | | Manfred H. Seifert:
Experimente mit fehlertoleranten Prozeßsystemen im lokalen Mehrrechnersystem R+DS.
Fehlertolerierende Rechensysteme 1982: 189-204 |
