Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
|
lehre:wise0910:formale_methoden [2009/06/08 22:42] brauer |
lehre:wise0910:formale_methoden [2009/10/28 16:00] (aktuell) haensch |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| ====== Formale Methoden für eingebettete Systeme ====== | ====== Formale Methoden für eingebettete Systeme ====== | ||
| + | |||
| + | ===== Neuigkeiten ===== | ||
| + | | 05.10.2009 | Aus organisatorischen Gründen findet die erste Vorlesung am 13.10.2009 statt. Für Masterstudenten, die an der Einführungsveranstaltung der Fachgruppe teilnehmen wollen, bieten wir eine Zusammenfassung an. Außerdem können die Folien der ersten Veranstaltung über das L2P System bezogen werden.| | ||
| + | | 15.09.2009 | Die erste Vorlesung findet am 13.10.2009 in AH III statt. | | ||
| ===== Inhalt ===== | ===== Inhalt ===== | ||
| Zeile 17: | Zeile 21: | ||
| ===== Termine ===== | ===== Termine ===== | ||
| Die Vorlesung wird in Deutsch gehalten. Die Übung findet 14-tägig statt. In der Woche in der keine Übung statt findet, findet an beiden Terminen die Vorlesung statt.\\ | Die Vorlesung wird in Deutsch gehalten. Die Übung findet 14-tägig statt. In der Woche in der keine Übung statt findet, findet an beiden Terminen die Vorlesung statt.\\ | ||
| - | \\ | ||
| * Montag 10:00 - 11:30 AH I | * Montag 10:00 - 11:30 AH I | ||
| * Dienstag 10:00 - 11:30 AH III | * Dienstag 10:00 - 11:30 AH III | ||
| Zeile 31: | Zeile 34: | ||
| * Vorlesung: [[:lehrstuhl:mitarbeiter:schlich]] | * Vorlesung: [[:lehrstuhl:mitarbeiter:schlich]] | ||
| - | * Übung: [[:lehrstuhl:mitarbeiter:brauer]] | + | * Übung: [[:lehrstuhl:mitarbeiter:brauer]] und [[:lehrstuhl:mitarbeiter:haensch]] |
| ~~NOTOC~~ | ~~NOTOC~~ | ||