Generierung paralleler Systeme aus Estelle-Spezifikationen

Stefan Fischer

OriginalspracheDeutsch
QualifikationMaster of Science
PublikationsstatusVeröffentlicht - 1992

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

  • SDG 3 – Gesundheit und Wohlergehen
  • SDG 9 – Industrie, Innovation und Infrastruktur
  • SDG 11 – Nachhaltige Städte und Gemeinschaften
  • SDG 12 – Verantwortungsvoller Konsum und Produktion

Zitieren