Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehre:sose09 [2009/04/30 10:24] brauer |
lehre:sose09 [2009/04/30 10:27] brauer |
||
|---|---|---|---|
| Zeile 17: | Zeile 17: | ||
| **Eingebettete Systeme** | **Eingebettete Systeme** | ||
| * Proseminar | * Proseminar | ||
| - | * Betreuer: [[:mitarbeiter:gueckel|Dominique Gückel]] und [[:mitarbeiter:schommer]]John F. Schommer]] | + | * Betreuer: [[:mitarbeiter:gueckel|Dominique Gückel]] und [[:mitarbeiter:schommer|John F. Schommer]] |
| \\ | \\ | ||
| === Hauptstudium === | === Hauptstudium === | ||
| Zeile 23: | Zeile 23: | ||
| **Anwendung formaler Verifikationsmethoden auf eingebettete Systeme** | **Anwendung formaler Verifikationsmethoden auf eingebettete Systeme** | ||
| * Seminar | * Seminar | ||
| - | * Betreuer [[http://www-i2.informatik.rwth-aachen.de/i2/noll/|Thomas Noll]] und [[:mitarbeiter:schlich|Bastian Schlich]] | + | * Betreuer: [[http://www-i2.informatik.rwth-aachen.de/i2/noll/|Thomas Noll]], [[:mitarbeiter:schlich|Bastian Schlich]] und [[:mitarbeiter:brauer|Jörg Brauer]] |
| + | \\ | ||
| + | **Einführung in eingebettete Systeme** | ||
| + | * Vorlesung (V3/Ü1) | ||
| + | * Betreuer: [[:mitarbeiter:kamin|Volker Kamin]] | ||
| + | \\ | ||
| + | **Modellierung technischer und physikalischer Systeme** | ||
| + | * Praktikum (4 SWS) | ||
| + | * Betreuer: [[:mitarbeiter:palczynski|Jacob Palczynski]] | ||
| + | \\ | ||
| + | **Sicherheits- und Zuverlässigkeitstechnik** | ||
| + | * Vorlesung (V3/Ü1) | ||
| + | * Betreuer: [[:mitarbeiter:beckschulze|Eva Beckschulze]] | ||