====== Sommersemester 09 ======

=== Bachelor ===

[[:lehre:sose09:einfuehrung_eingebettete_systeme|Einführung in eingebettete Systeme]]
  * Vorlesung (6 Credits)
  * Betreuer: [[:lehrstuhl:mitarbeiter:kamin]]
\\
[[:lehre:sose09:egi|Elektrotechnische Grundlagen der Informatik]]
  * Praktikum
  * Betreuer: [[:lehrstuhl:mitarbeiter:stollenwerk|Andre Stollenwerk]] und [[:lehrstuhl:mitarbeiter:mitsching]]
\\
[[:lehre:sose09:mindstorming|Mindstorming Embedded Systems]]
  * Praktikum (7 Credits)
  * Betreuer: [[:lehrstuhl:mitarbeiter:schommer]] und [[:lehrstuhl:mitarbeiter:armoush]]
\\
[[:lehre:sose09:proseminar_eingebettete_systeme|Eingebettete Systeme]]
  * Proseminar
  * Betreuer: [[:lehrstuhl:mitarbeiter:gueckel]] und [[:lehrstuhl:mitarbeiter:schommer]]

=== Hauptstudium ===

[[http://www-i2.informatik.rwth-aachen.de/i2/teaching/|Anwendung formaler Verifikationsmethoden auf eingebettete Systeme]]
  * Seminar
  * Betreuer: [[http://www-i2.informatik.rwth-aachen.de/i2/noll/|Priv.-Doz. Dr. Thomas Noll]], [[:lehrstuhl:mitarbeiter:schlich]] und [[:lehrstuhl:mitarbeiter:brauer]]
\\
[[:lehre:sose09:einfuehrung_eingebettete_systeme|Einführung in eingebettete Systeme]]
  * Vorlesung (V3/Ü1)
  * Betreuer: [[:lehrstuhl:mitarbeiter:kamin]]
\\
[[:lehre:sose09:praktikum_modellierung|Modellierung technischer und physikalischer Systeme]]
  * Praktikum (4 SWS)
  * Betreuer: [[:lehrstuhl:mitarbeiter:palczynski]]
\\
[[:lehre:sose09:sicherheit|Sicherheits- und Zuverlässigkeitstechnik]]
  * Vorlesung (V3/Ü1)
  * Betreuer: [[:lehrstuhl:mitarbeiter:beckschulze]]