Sommersemester 09

Einführung in eingebettete Systeme

• Vorlesung (6 Credits)
• Betreuer: Dipl.-Inform. Volker Kamin

Elektrotechnische Grundlagen der Informatik

• Praktikum
• Betreuer: Andre Stollenwerk und Dr. rer. nat. Ralf Mitsching

Mindstorming Embedded Systems

• Praktikum (7 Credits)
• Betreuer: Dipl.-Inform. John F. Schommer und armoush

Eingebettete Systeme

• Proseminar
• Betreuer: Dr. rer. nat. Dominique Marcel Gückel und Dipl.-Inform. John F. Schommer

Anwendung formaler Verifikationsmethoden auf eingebettete Systeme

• Seminar
• Betreuer: Priv.-Doz. Dr. Thomas Noll, Dr.rer.nat. Bastian Schlich und Dr. rer. nat. Jörg Brauer

Einführung in eingebettete Systeme

• Vorlesung (V3/Ü1)
• Betreuer: Dipl.-Inform. Volker Kamin

Modellierung technischer und physikalischer Systeme

• Praktikum (4 SWS)
• Betreuer: Dr. rer. nat. Jacob Palczynski

Sicherheits- und Zuverlässigkeitstechnik

• Vorlesung (V3/Ü1)
• Betreuer: beckschulze