Navigation überspringen
SCCH
>
Aktuelles
Über SCCH
>
Forschungsagenda
Top-Publikationen
Success Stories
Unsere Expertise
Statement
Zahlen & Fakten
Team
Förderprogramme
>
Förderprogramme
Innovationsscheck
COMET-Programm
COMET-Partner
Download
Partner
>
Wissenschaftliche Partner
Partnerunternehmen
Auszeichnungen
Kunden/Referenzen
Innovation & Forschung
>
Schwerpunkte
Software Science
- Software Analytics and Evolution
>
Übersicht
Forschungsthemen
Projekte
Publikationen
Kontakt
- Secure Software Analytics
>
Übersicht
Forschungsthemen
- Rigorous Methods in Software Engineering
>
Übersicht
Forschungsthemen
Projekte
Publikationen
Kontakt
Data Science
- Knowledge-Based Vision Systems
>
Übersicht
Forschungsthemen
Projekte
Publikationen
Kontakt
- Data Analysis Systems
>
Übersicht
Forschungsthemen
Projekte
Publikationen
Kontakt
Vernetzung
>
Wissenschaftliche Partner
Strategy Board
Sonstige wissenschaftliche Vernetzung
Partnerunternehmen
Regionale Kooperationen
Publikationen
Karriere
>
Offene Positionen
Dissertationen und Diplomarbeiten
Karrieremöglichkeiten
Anfahrtsplan
DEXA Konferenz
Navigation überspringen
Kontakt
Impressum
AGB
Datenschutz
English
☰
English
Navigation überspringen
SCCH
Aktuelles
Über SCCH
Team
Förderprogramme
Download
Partner
Auszeichnungen
Kunden/Referenzen
Innovation & Forschung
Schwerpunkte
Software Science
- Software Analytics and Evolution
- Secure Software Analytics
- Rigorous Methods in Software Engineering
Data Science
- Knowledge-Based Vision Systems
- Data Analysis Systems
Vernetzung
Wissenschaftliche Partner
Strategy Board
Sonstige wissenschaftliche Vernetzung
Partnerunternehmen
Regionale Kooperationen
Publikationen
Karriere
Offene Positionen
Dissertationen und Diplomarbeiten
Karrieremöglichkeiten
Anfahrtsplan
DEXA Konferenz
Inhalt
Download
Neuigkeiten
Projekt INDYCO
Die passenden formalen Methoden finden
Industrie 4.0 und Systems Engineering
Erfolgsfaktor Datenanalyse
ABZ 2016
Formale Methoden
Personen
Flavio Ferrarotti
Felix Kossak
Jorge Martínez Gil