BibSonomy :: author  ::

bookmarks

publications

(30)

• Jahrbuch Telekommunikation und Gesellschaft 1997:Die Ware Information- Auf dem Weg zu einer Informationsökonomie
  Kubicek and Klumpp and Müller and Neu and Raubold and Roßnagel (eds.). (1997)
  to Imtm-Bibliothek by imtm on 2008-09-12 12:45:52
  | BibTeX  
• Professional Responsibilities of Software Engineers
  David Lorge Parnas Proceedings of the IFIP 13th World Computer Congress. Volume 2 : Applications and Impacts 332--339 (1994)
  to imported by snowball on 2006-03-09 08:15:35
  | BibTeX  
• Forschung bei der Deutschen Telekom.
  Eckart Raubold Inform., Forsch. Entwickl. 14 109-110 (1999)
  to dblp by dblp on 2003-12-01 00:00:00
  | URL | BibTeX  
• X 25 Based Process - Process Communication.
  Friedrich Hertweck and Eckart Raubold and Friedrich H. Vogt Computer Networks 2 250-270 (1978)
  to dblp by dblp on 2003-02-14 00:00:00
  | URL | BibTeX  
• Computer Aided Verification of Parallel Processes.
  Klaus Estenfeld and Hans-Albert Schneider and Dirk Taubner and Erik Tidén VIS 208-226 (1991)
  to dblp by dblp on 2003-01-22 00:00:00
  | URL | BibTeX  
• Formale Spezifikation und Verifikation - Ein Überblick.
  Helmut Kurth VIS 45-66 (1991)
  to dblp by dblp on 2003-01-22 00:00:00
  | URL | BibTeX  
• Innere Sicherheit in der Informationsverarbeitung - Das System integrierter Kontrollkreise im Abstimm-, Sicherheits- und Kontrollsystem.
  Eckart Weese and Günter Lessing VIS 92-115 (1991)
  to dblp by dblp on 2003-01-22 00:00:00
  | URL | BibTeX  
• Effiziente Software-Implementierung des GMR-Signatursystems.
  Dirk Fox and Birgit Pfitzmann VIS 329-345 (1991)
  to dblp by dblp on 2003-01-22 00:00:00
  | URL | BibTeX  
• Bemerkungen zu den harmonisierten Evaluationskriterien für IT-Systeme.
  Karl Rihaczek VIS 259-276 (1991)
  to dblp by dblp on 2003-01-22 00:00:00
  | URL | BibTeX  
• Werkzeuggestützter Nachweis von Verläßlichkeitseigenschaften.
  Bernhard Hohlfeld VIS 227-242 (1991)
  to dblp by dblp on 2003-01-22 00:00:00
  | URL | BibTeX