Summer Semester 06

Basic Study Period

Main Study Period

Formal Methods for Embedded Systems

Embedded Software Design

  • Lecture (V2/Ü1)
  • Tutor: Dr.-Ing. Daniel Klünder

Safety and Reliability Engineering

Programming of Embedded Hardware

  • Lab Course(P5)
  • Tutor: Dr.rer.nat. Dirk Wilking

Safety Critical Control Systems Design


RWTH Aachen University - Chair of Computer Science 11 - Ahornstr. 55 - 52074 Aachen - Germany