KIT - Karlsruher Institut für Technologie
IPD - Lehrstuhl em. Programmiersysteme
Navigation überspringen
Home
Impressum
Datenschutz
Barrierefreiheit
Sitemap
KIT
en
Mitarbeiter
Forschungsgebiete
Start
Forschungsgebiete
Forschungsgebiete
Projekte
Start
Forschungsgebiete
Projekte
Projekte
Abgeschlossen
Veröffentlichungen
Software
Studium und Lehre
Start
Studium und Lehre
Studium und Lehre
Vergangene Veranstaltungen
Abschlussarbeiten / Stellenausschreibungen
Start
Studium und Lehre
Abschlussarbeiten / Stellenausschreibungen
Abschlussarbeiten / Stellenausschreibungen
Laufende Abschlussarbeiten
Abgeschlossene Abschlussarbeiten
Neuigkeiten
Kontakt
Start
Kontakt
Kontakt
Räume
Startseite
Home
Impressum
Datenschutz
Barrierefreiheit
Sitemap
IPD - Lehrstuhl em. Programmiersysteme
Startseite
Mitarbeiter
Startseite
Mitarbeiter
Forschungsgebiete
Studium und Lehre
Neuigkeiten
Kontakt
Mitarbeiter
Modellbasierte Generierung von Nebenläufigkeitstests
Typ:
Diplomarbeit
Betreuung:
M.Sc. Luis Manuel Carril Rodriguez
Bearbeitung:
Sven Meisinger
Zusatzfeld:
abgeschlossen
Projekte
Titel
QualiCore
Forschungsprojekt AParT - Entwurfsmustergestütze Anwendungsparallelisierung
