Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehrstuhl:mitarbeiter:schlich [2009/06/18 18:05] schlich |
lehrstuhl:mitarbeiter:schlich [2009/06/18 18:07] schlich |
||
|---|---|---|---|
| Zeile 61: | Zeile 61: | ||
| * Winter semester 09/10: [[:lehre:wise0910:formale_methoden]] (Vorlesung) | * Winter semester 09/10: [[:lehre:wise0910:formale_methoden]] (Vorlesung) | ||
| - | * Summer semester 09: [[http://www-i2.informatik.rwth-aachen.de/i2/teaching/|Applying Formal Verification Methods to Embedded Systems]] (Seminar) | + | * Summer semester 09: [[http://www-i2.informatik.rwth-aachen.de/i2/teaching/|Anwendung formaler Verifikationsmethoden auf eingebettete Systeme]] (Seminar) |
| * Winter semester 08/09: [[:lehre:wise0809:seminar_statische_analyse]] (Seminar) | * Winter semester 08/09: [[:lehre:wise0809:seminar_statische_analyse]] (Seminar) | ||
| * Summer semester 08: [[:lehre:sose08:formale_methoden]] (Vorlesung) | * Summer semester 08: [[:lehre:sose08:formale_methoden]] (Vorlesung) | ||