Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
lehre:sose09 [2009/04/30 10:20] brauer |
lehre:sose09 [2009/04/30 10:27] brauer |
||
---|---|---|---|
Zeile 10: | Zeile 10: | ||
* Praktikum | * Praktikum | ||
* Betreuer: [[:mitarbeiter:stollenwerk|Andre Stollenwerk]] und [[:mitarbeiter:mitsching|Ralf Mitsching]] | * Betreuer: [[:mitarbeiter:stollenwerk|Andre Stollenwerk]] und [[:mitarbeiter:mitsching|Ralf Mitsching]] | ||
+ | \\ | ||
+ | **Mindstorming Embedded Systems** | ||
+ | * Praktikum (7 Credits) | ||
+ | * Betreuer: [[:mitarbeiter:schommer|John F. Schommer]] und [[:mitarbeiter:armoush|Ashraf Armoush]] | ||
+ | \\ | ||
+ | **Eingebettete Systeme** | ||
+ | * Proseminar | ||
+ | * Betreuer: [[:mitarbeiter:gueckel|Dominique Gückel]] und [[:mitarbeiter:schommer|John F. Schommer]] | ||
\\ | \\ | ||
=== Hauptstudium === | === Hauptstudium === | ||
+ | |||
+ | **Anwendung formaler Verifikationsmethoden auf eingebettete Systeme** | ||
+ | * Seminar | ||
+ | * 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]] |