KIT - Karlsruhe Institute of Technology
image/svg+xml
IPD - Chair em. Programming Systems
skip navigation
Home
Legals
Privacy Policy
Accessibility
Sitemap
KIT
de
Staff Member
Core competences
Start
Core competences
Core competences
Projects
Start
Core competences
Projects
Projects
Former
Publications
Software
Lectures
Start
Lectures
Lectures
Old Courses
Thesis / Jobs
Start
Lectures
Thesis / Jobs
Thesis / Jobs
Ongoing
Successful
Jobs
News
Contact
Start
Contact
Contact
Rooms
Startpage
Home
Legals
Privacy Policy
Accessibility
Sitemap
IPD - Chair em. Programming Systems
Startpage
Lectures
Thesis / Jobs
Successful
Startseite
Staff Member
Core competences
Lectures
News
Contact
Lectures
Old Courses
Thesis / Jobs
Thesis / Jobs
Ongoing
Successful
Jobs
Successful
Modellbasierte Generierung von Nebenläufigkeitstests
Type:
Diplomarbeit
Supervisor:
M.Sc. Luis Manuel Carril Rodriguez
Person in Charge:
Sven Meisinger
Add on:
Finished
Projekte
Titel
QualiCore
Forschungsprojekt AParT - Entwurfsmustergestütze Anwendungsparallelisierung