Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
lehre:sose09 [2009/04/30 13:41] brauer |
lehre:sose09 [2009/05/04 13:57] 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 20: | Zeile 20: | ||
\\ | \\ | ||
=== 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 |