1980 | ||
---|---|---|
4 | Theo von Bomhard, Hans vor der Brück, Norbert Ramsperger: Probleme beim Entwurf sicherer Datenbanksysteme. GI Jahrestagung 1980: 292-303 | |
3 | Hans vor der Brück: Bewertung von SPECIAL und seiner Tools anhand der formalen Spezifikation von KSOS und PSOS. Software Engineering 1980: 284-285 | |
2 | Hans vor der Brück, Gerd Liefländer: Zur Organisation der Unterbrechnungsbehandlung und der Prozeßumschaltung in Betriebssystemen. Elektronische Rechenanlagen 22(1): 14-21 (1980) | |
1 | Hans vor der Brück: Einfluß der Sicherheitskern-Architektur auf die Strukturierung von Betriebssystemen. Elektronische Rechenanlagen 22(4): 173-179 (1980) |
1 | Theo von Bomhard | [4] |
2 | Gerd Liefländer | [2] |
3 | Norbert Ramsperger | [4] |