KIT - Karlsruhe Institute of Technology
image/svg+xml
Data Protection
Home
Summary and Motivation
Projects
Start
Projects
Projects
Phase I
Phase II
Phase III
Publications
Events
Start
Events
Events
Keynote Talks
Invited Talks
Special Sessions
Workshops
Mini-Workshops
Tutorials, Summer Schools
Semi-Annual Colloquia
Other
Initiators
Awards
Free Tools
SPP 1500 Wiki (internal)
Startpage
Data Protection
Startpage
Projects
Phase I
Startseite
Home
Summary and Motivation
Projects
Publications
Events
Initiators
Awards
Free Tools
SPP 1500 Wiki (internal)
Projects
Phase I
Phase II
Phase III
Phase I
CRAU
Project Leader:
Prof. Jürgen Teich, Uni Erlangen
Topic:
Compositional System Level Reliability Analysis in the Presence of Uncertainties