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/04/30 12:52] brauer |
lehre:sose09 [2009/04/30 13:30] brauer |
||
|---|---|---|---|
| Zeile 21: | Zeile 21: | ||
| === Hauptstudium === | === Hauptstudium === | ||
| - | [[:lehre:sose09:seminar_formale_methoden|Anwendung formaler Verifikationsmethoden auf eingebettete Systeme]] | + | [[http://www-i2.informatik.rwth-aachen.de/i2/teaching/|Anwendung formaler Verifikationsmethoden auf eingebettete Systeme]] |
| * Seminar | * Seminar | ||
| * Betreuer: [[http://www-i2.informatik.rwth-aachen.de/i2/noll/|Thomas Noll]], [[:mitarbeiter:schlich|Bastian Schlich]] und [[:mitarbeiter:brauer|Jörg Brauer]] | * Betreuer: [[http://www-i2.informatik.rwth-aachen.de/i2/noll/|Thomas Noll]], [[:mitarbeiter:schlich|Bastian Schlich]] und [[:mitarbeiter:brauer|Jörg Brauer]] | ||