Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehre:sose09 [2009/05/04 13:57] brauer |
lehre:sose09 [2009/06/08 13:16] brauer |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| ====== Sommersemester 09 ====== | ====== Sommersemester 09 ====== | ||
| - | \\ | + | |
| === Bachelor === | === Bachelor === | ||
| - | \\ | + | |
| [[:lehre:sose09:einfuehrung_eingebettete_systeme|Einführung in eingebettete Systeme]] | [[:lehre:sose09:einfuehrung_eingebettete_systeme|Einführung in eingebettete Systeme]] | ||
| * Vorlesung (6 Credits) | * Vorlesung (6 Credits) | ||
| Zeile 18: | Zeile 18: | ||
| * Proseminar | * Proseminar | ||
| * Betreuer: [[:lehrstuhl:mitarbeiter:gueckel|Dominique Gückel]] und [[:lehrstuhl:mitarbeiter:schommer|John F. Schommer]] | * Betreuer: [[:lehrstuhl:mitarbeiter:gueckel|Dominique Gückel]] und [[:lehrstuhl:mitarbeiter:schommer|John F. Schommer]] | ||
| - | \\ | + | |
| === Hauptstudium === | === Hauptstudium === | ||
| - | \\ | + | |
| [[http://www-i2.informatik.rwth-aachen.de/i2/teaching/|Anwendung formaler Verifikationsmethoden auf eingebettete Systeme]] | [[http://www-i2.informatik.rwth-aachen.de/i2/teaching/|Anwendung formaler Verifikationsmethoden auf eingebettete Systeme]] | ||
| * Seminar | * Seminar | ||