Hans vor der Brück

Publication Activity (10 Years)

Years Active: 1977-1980
Publications (10 Years): 0

Publications

Hans vor der Brück
Einfluß der Sicherheitskern-Architektur auf die Strukturierung von Betriebssystemen. Elektron. Rechenanlagen 22 (4) (1980)
Theo von Bomhard, Hans vor der Brück, Norbert Ramsperger
Probleme beim Entwurf sicherer Datenbanksysteme. GI Jahrestagung (1980)
Hans vor der Brück, Gerd Liefländer
Zur Organisation der Unterbrechnungsbehandlung und der Prozeßumschaltung in Betriebssystemen. Elektron. Rechenanlagen 22 (1) (1980)
Hans vor der Brück
Bewertung von SPECIAL und seiner Tools anhand der formalen Spezifikation von KSOS und PSOS. Software Engineering (1980)
Hans vor der Brück
Abstrakte Modelle zur Untersuchung von sicheren Systemen. Computing 19 (1) (1977)