Direkt zum InhaltDirekt zur SucheDirekt zur Navigation
 
 
Zielgruppen ▶
Schnellzugang ▶
Startseite der Einrichtung

Logo der Humboldt-Universität zu Berlin
Mathematisch-Naturwissenschaftliche Fakultät
Institut für Informatik
Software Engineering
Mathematisch-Naturwissenschaftliche Fakultät Institut für Informatik
Software Engineering
Navigation
  • MitarbeiterInnen
  • Lehre
  • Forschung
    • Aktuelle Forschungsprojekte
    • Abgeschlossene Projekte
      • EMPRESS
      • ENSURE I (2012-2016) & ENSURE II (2016-2019)
        • Co-Evolution
        • State Elimination as Model Transformation Problem
          • TTC2017.zip
      • Safe.Spec
      • SQuAT
  • Stellenausschreibungen
  • Veranstaltungen
  • Kontakt
« April 2023 »
month-4
Mo Di Mi Do Fr Sa So
27 28 29 30 31 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
  • Impressum
  • Für Studieninteressierte
  • Für Studierende
    • Sie möchten Informatik studieren
    • Sie sind Bachelor-Student
    • Sie sind Informatik-Student
    • Frauenförderung
  • Für Doktoranden
    • Frauenförderung
  • Für Beschäftigte
    • Mitarbeiter/innen
    • Frauenförderung
    • Berufliche Weiterbildung
    • FAQs
    • E-Mails
    • HUMBOLDT INTERN

Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Software Engineering

Humboldt-Universität zu Berlin | Mathematisch-Naturwissenschaftliche Fakultät | Institut für Informatik | Software Engineering | Forschung | Abgeschlossene Projekte | ENSURE I (2012-2016) & ENSURE II (2016-2019) | State Elimination as Model Transformation Problem | TTC2017.zip

TTC2017.zip

application/zip TTC2017.zip — 43.3 MB

  • DE
  • EN

logo_IfI-neu.jpg

 

Humboldt-Universität zu Berlin

Institut für Informatik

Rudower Chaussee 25

12489 Berlin-Adlershof

 


Die HU im WWW
  • Die Humboldt-Universität bei Facebook
  • Die Humboldt-Universität bei Twitter
  • Die Humboldt-Universität bei Instagram
  • Die Humboldt-Universität bei YouTube
  • Die Humboldt-Universität bei LinkedIn
  • Die RSS-Feeds der Humboldt-Universität
zuletzt geändert 18.04.2017
  • Seite bearbeiten
Barrierefreiheit
Datenschutz
Impressum