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:24] brauer |
lehre:sose09 [2009/04/30 13:41] brauer |
||
---|---|---|---|
Zeile 3: | Zeile 3: | ||
=== Bachelor === | === Bachelor === | ||
- | **Einführung in eingebettete Systeme** | + | [[:lehre:sose09:einfuehrung_eingebettete_systeme|Einführung in eingebettete Systeme]] |
* Vorlesung (6 Credits) | * Vorlesung (6 Credits) | ||
- | * Betreuer: [[:mitarbeiter:kamin|Volker Kamin]] | + | * Betreuer: [[:lehrstuhl:mitarbeiter:kamin|Volker Kamin]] |
\\ | \\ | ||
- | **Elektrotechnische Grundlagen der Informatik** | + | [[:lehre:sose09:egi|Elektrotechnische Grundlagen der Informatik]] |
* Praktikum | * Praktikum | ||
- | * Betreuer: [[:mitarbeiter:stollenwerk|Andre Stollenwerk]] und [[:mitarbeiter:mitsching|Ralf Mitsching]] | + | * Betreuer: [[:lehrstuhl:mitarbeiter:stollenwerk|Andre Stollenwerk]] und [[:lehrstuhl:mitarbeiter:mitsching|Ralf Mitsching]] |
\\ | \\ | ||
- | **Mindstorming Embedded Systems** | + | [[:lehre:sose09:mindstorming|Mindstorming Embedded Systems]] |
* Praktikum (7 Credits) | * Praktikum (7 Credits) | ||
- | * Betreuer: [[:mitarbeiter:schommer|John F. Schommer]] und [[:mitarbeiter:armoush|Ashraf Armoush]] | + | * Betreuer: [[:lehrstuhl:mitarbeiter:schommer|John F. Schommer]] und [[:lehrstuhl:mitarbeiter:armoush|Ashraf Armoush]] |
\\ | \\ | ||
- | **Eingebettete Systeme** | + | [[:lehre:sose09:proseminar_eingebettete_systeme|Eingebettete Systeme]] |
* Proseminar | * Proseminar | ||
- | * Betreuer: [[:mitarbeiter:gueckel|Dominique Gückel]] und [[:mitarbeiter:schommer]]John F. Schommer]] | + | * Betreuer: [[:lehrstuhl:mitarbeiter:gueckel|Dominique Gückel]] und [[:lehrstuhl:mitarbeiter:schommer|John F. Schommer]] |
\\ | \\ | ||
=== Hauptstudium === | === Hauptstudium === | ||
- | **Anwendung formaler Verifikationsmethoden auf eingebettete Systeme** | + | [[http://www-i2.informatik.rwth-aachen.de/i2/teaching/|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]], [[:lehrstuhl:mitarbeiter:schlich|Bastian Schlich]] und [[:lehrstuhl:mitarbeiter:brauer|Jörg Brauer]] |
+ | \\ | ||
+ | [[:lehre:sose09:einfuehrung_eingebettete_systeme|Einführung in eingebettete Systeme]] | ||
+ | * Vorlesung (V3/Ü1) | ||
+ | * Betreuer: [[:lehrstuhl:mitarbeiter:kamin|Volker Kamin]] | ||
+ | \\ | ||
+ | [[:lehre:sose09:praktikum_modellierung|Modellierung technischer und physikalischer Systeme]] | ||
+ | * Praktikum (4 SWS) | ||
+ | * Betreuer: [[:lehrstuhl:mitarbeiter:palczynski|Jacob Palczynski]] | ||
+ | \\ | ||
+ | [[:lehre:sose09:sicherheit|Sicherheits- und Zuverlässigkeitstechnik]] | ||
+ | * Vorlesung (V3/Ü1) | ||
+ | * Betreuer: [[:lehrstuhl:mitarbeiter:beckschulze|Eva Beckschulze]] |