Modellierung und Analyse eingebetteter und verteilter Systeme

Dozenten: Buchholz, Krumm

Termin: Dienstag 14:15 - 16:00 wöchentlich
Raum : HS 113 Geschossbau V

Donnerstag 14:15 - 16:00 wöchentlich
Raum : HS 113 Geschossbau V

Übungen

Es werden auch Übungen zu den Vorlesungen angeboten.

Vorlesungsfolien

Einführung

• Überblick der Vorlesung (Vorlesung 13.10.09)

Funktionalität

• Funktionalität 1 (Vorlesung 20.10. - 22.10.09)

Quantitative Aspekte

• Quantitative Aspekte - Einfürung (Vorlesung 27.10.09)
• Quantitative Aspekte - 1 (Vorlesung 27.10.09)
• Quantitative Aspekte - 2 (Vorlesung 29.11. - 03.11.09)
• Quantitative Aspekte - 3 (Vorlesung 03.11. - 05.11.09)

Funktionalität

• Funktionalität 2 (Vorlesung 10.11. - 19.12.08)

Quantitative Aspekte

• Quantitative Aspekte - 4
• Quantitative Aspekte - 5
• Quantitative Aspekte - 6

Zuverlässigkeit

• Zuverlässigkeit 1 (Vorlesung 12.01.)
• Zuverlässigkeit 2

Quantitative Aspekte

• Quantitative Aspekte - 7