Manfred H. Seifert

Publication Activity (10 Years)

Years Active: 1982-1986
Publications (10 Years): 0

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Manfred H. Seifert, Herbert Eberle
Remote Service Call (RCS): An Network Operating System Kernel for Heterogeneous Distributed Systems. ARCS (1986)
Hermann Schmutz, Herbert Eberle, Ulf Hollberg, Manfred H. Seifert
Distributed academic computing. ACM SIGOPS European Workshop (1986)
Manfred H. Seifert, Herbert Eberle
Remote Service Call: A NOS Kernel and its Protocols. ICCC (1986)
Kurt Geihs, Manfred H. Seifert
Automated Validation of a Co-operation Protocol for Distributed Systems. ICDCS (1986)
Kurt Geihs, Manfred H. Seifert
Validation of a Protocol for Application Layer Services. ARCS (1986)
Ernst Schmitter, Manfred H. Seifert
Einsatz fehlertolerierender Rechensysteme. Inform. Spektrum 9 (2) (1986)
Manfred H. Seifert
Formale Methode oder pragmatisches Vorgehen für die Software-Fehlertoleranz und -Zuverlässigkeit? Software-Fehlertoleranz und -Zuverlässigkeit (1984)
Manfred H. Seifert
DS. Fehlertolerierende Rechensysteme (1982)