====== Sommersemester 06 ======
~~NOTOC~~
===== Grundstudium =====

[[:lehre:sose06:small_memory_software|Small Memory Software]]
  * Proseminar (P2)
  * Betreuer: [[:lehrstuhl:mitarbeiter:mitsching]]

===== Hauptstudium =====

[[:lehre:sose06:formale_methoden|Formale Methoden für eingebettete Systeme]]
  * Vorlesung (V2/Ü1)
  * Betreuer: [[:lehrstuhl:mitarbeiter:palczynski]]

[[:lehre:sose06:entwurf_eingebetteter_software|Entwurf eingebetteter Software]]
  * Vorlesung (V2/Ü1)
  * Betreuer: Dr.-Ing. Daniel Klünder

[[:lehre:sose06:sicherheits_und_zuverlaessigkeitstechnik|Sicherheits- und Zuverlässigkeitstechnik]]
  * Vorlesung (V2/Ü1) (auf Englisch)
  * Betreuer: [[:lehrstuhl:mitarbeiter:polzer]]

[[:lehre:sose06:programmierung_eingebetteter_hardware|Programmierung eingebetteter Hardware]]
  * Praktikum (P5)
  * Betreuer: Dr.rer.nat. Dirk Wilking

[[:lehre:sose06:entwurf_sicherheitskritischer_regelsysteme|Entwurf sicherheitskritischer Regelsysteme]]
  * Praktikum (P4)
  * Betreuer: [[:lehrstuhl:mitarbeiter:salewski]]

===== Allgemein =====

[[:lehre:sose06:software_award]]
  * Betreuer: [[:lehrstuhl:mitarbeiter:polzer]] und [[:lehrstuhl:mitarbeiter:schlich]]