Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Letzte Überarbeitung Beide Seiten der Revision | ||
|
lehre:wise0910:formale_methoden [2009/06/08 22:42] brauer |
lehre:wise0910:formale_methoden [2009/10/05 09:50] schlich |
||
|---|---|---|---|
| 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 ===== | ||