Zur Seitennavigation oder mit Tastenkombination für den
accesskey
-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den
accesskey
und Taste 2
S
tartseite
A
nmelden
SoSe 2024
/
Sitemap
Studentisches Leben
Veranstaltungen
Hochschulstruktur
Räume und Gebäude
Personen
Sie sind hier:
Startseite
Einrichtung: SFB/Transregio (SFB/TR14-AVACS) "Automatische Verifikation und Analyse Komplexer Systeme (AVACS)"Oldenburg, Freiburg, Saarbrücken - Einzelansicht
Funktionen:
Seiteninhalt:
Grunddaten
Funktionen
Liste zeigen
Strukturbaum
Grunddaten
Kurzbezeichnung
Einrichtungsart
Sonderforschungsbereich
Einrichtung
SFB/Transregio (SFB/TR14-AVACS) "Automatische Verifikation und Analyse Komplexer Systeme (AVACS)"Oldenburg, Freiburg, Saarbrücken
Kostenstelle
Zusatzbezeichnung
Drucken
J
Institutsnummer
Veranstalter/-in
J
Funktionen
Person
Funktion
von
bis
Ergänzung
Finkbeiner, Bernd, Univ.-Professor, Dr.
Univ.-Professor/in
Wilhelm, Reinhard , Univ.-Prof. Dr. rer. nat.
Sprecher/in
Altmeyer, Sebastian , M.Sc.
Akad. Mitarbeiter/Innen
Liste zeigen
Zugehörige Personen
Strukturbaum
Hochschule
Fakultät MI: Fakultät für Mathematik und Informatik
SFB/Transregio (SFB/TR14-AVACS) "Automatische Verifikation und Analyse Komplexer Systeme (AVACS)"Oldenburg, Freiburg, Saarbrücken
- - - 1
Impressum
Service & Support
Bei Fragen, Fehlermeldungen oder Verbesserungsvorschlägen
nutzen Sie bitte unsere
zentrale Service-Kontaktestelle
.