====== Sommersemester 07 ====== === Grundstudium === [[:lehre:sose07:egi|Elektrotechnische Grundlagen der Informatik]] * Praktikum * Betreuer: Falk Salewski, [[:lehrstuhl:mitarbeiter:mitsching|Ralf Mitsching]] [[:lehre:sose07:automotive_software_engineering|Proseminar Automotive Software Engineering]] * Proseminar * Betreuer: [[:lehrstuhl:mitarbeiter:palczynski|Jacob Palczynski]], [[:lehrstuhl:mitarbeiter:li|Jianmin Li]] === Hauptstudium === [[:lehre:sose07:formale_methoden|Formale Methoden für eingebettete Systeme]] * Vorlesung (V2/Ü1) * Betreuer: [[:lehrstuhl:mitarbeiter:schlich|Bastian Schlich]] und Gerlind Herberich [[:lehre:sose07:entwurf_eingebetteter_software|Entwurf eingebetteter Software]] * Vorlesung (V2/Ü1) * Betreuer: Daniel Klünder und Dirk Wilking [[:lehre:sose07:sicherheits_und_zuverlaessigkeitstechnik|Sicherheits- und Zuverlässigkeitstechnik]] * Vorlesung (V2/Ü1) * Betreuer: [[:lehrstuhl:mitarbeiter:polzer|Andreas Polzer]] [[:lehre:sose07:programming_embedded_hardware|Programming Embedded Hardware]] * Praktikum (P4) * Betreuer: Falk Salewski