Hans vor der Brück

According to our database, Hans vor der Brück authored at least 5 papers between 1977 and 1980.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

1980

Zur Organisation der Unterbrechnungsbehandlung und der Prozeßumschaltung in Betriebssystemen.

Hans vor der Brück, Gerd Liefländer

Elektron. Rechenanlagen, 1980

Einfluß der Sicherheitskern-Architektur auf die Strukturierung von Betriebssystemen.

Hans vor der Brück

Elektron. Rechenanlagen, 1980

Bewertung von SPECIAL und seiner Tools anhand der formalen Spezifikation von KSOS und PSOS.

Hans vor der Brück

Proceedings of the Software Engineering, 1980

Probleme beim Entwurf sicherer Datenbanksysteme.

Theo von Bomhard, Hans vor der Brück, Norbert Ramsperger

Proceedings of the GI - 10. Jahrestagung, Saarbrücken, 30. September, 1980

1977

Abstrakte Modelle zur Untersuchung von sicheren Systemen.

Hans vor der Brück

Computing, 1977