Kooperationsmöglichkeiten

Produkte und Werkzeuge

Werkzeuge zur

  • automatisierten Netz-, System- und Anwendungsverwaltung
  • Policy-Definition und Verfeinerung
  • Planung verteilter Dienstesysteme
  • Sicherheitsanalyse
  • rechnerunterstützten formalen Spezifikation und Analyse von verteilten Systemen, Kommunikationssystemen und Netzen

Systementwicklungen

Dienstleistungen

  • Entwurfsunterstützung,
  • Prototyping
  • Spezifikation und
  • Korrektheitsanalysen

von verteilten Systemen und Kommunikationssystemen

Weiterbildung und Transfer

Vorträge und Tutorien

Kooperation