====== Summer Semester 09 ======

=== Bachelor ===

[[en:lehre:sose09:einfuehrung_eingebettete_systeme]]
  * Lecture (6 Credits)
  * Tutor: [[:en:lehrstuhl:mitarbeiter:kamin]]
\\
[[:en:lehre:sose09:egi]]
  * Lab Course
  * Tutor: [[:en:lehrstuhl:mitarbeiter:stollenwerk]] and [[:en:lehrstuhl:mitarbeiter:mitsching]]
\\
[[:en:lehre:sose09:mindstorming]]
  * Lab Course(7 Credits)
  * Tutor: [[:en:lehrstuhl:mitarbeiter:schommer]] and [[:en:lehrstuhl:mitarbeiter:armoush]]
\\
[[:en:lehre:sose09:proseminar_eingebettete_systeme]]
  * Proseminar
  * Tutor: [[:en:lehrstuhl:mitarbeiter:gueckel]] and [[:en:lehrstuhl:mitarbeiter:schommer]]

=== Main Study Period ===

[[http://www-i2.informatik.rwth-aachen.de/i2/teaching/|Applying Formal Verification Methods to Embedded Systems]]
  * Seminar
  * Tutor: [[http://www-i2.informatik.rwth-aachen.de/i2/noll/|Priv.-Doz. Dr. Thomas Noll]], [[:en:lehrstuhl:mitarbeiter:schlich]] and [[:en:lehrstuhl:mitarbeiter:brauer]]
\\
[[:en:lehre:sose09:einfuehrung_eingebettete_systeme]]
  * Lecture (V3/Ü1)
  * Tutor: [[:en:lehrstuhl:mitarbeiter:kamin]]
\\
[[:en:lehre:sose09:praktikum_modellierung]]
  * Lab Course (4 SWS)
  * Tutor: [[:en:lehrstuhl:mitarbeiter:palczynski]]
\\
[[:en:lehre:sose09:sicherheit]]
  * Lecture (V3/Ü1)
  * Tutor: [[:en:lehrstuhl:mitarbeiter:beckschulze]]