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:wise0910:formale_methoden [2009/06/08 22:42] brauer |
lehre:wise0910:formale_methoden [2009/09/15 18:00] schlich |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| ====== Formale Methoden für eingebettete Systeme ====== | ====== Formale Methoden für eingebettete Systeme ====== | ||
| + | |||
| + | ===== Neuigkeiten ===== | ||
| + | |||
| + | | 15.09.2009 | Die erste Vorlesung findet am 13.10.2009 in AH III statt. | | ||
| ===== Inhalt ===== | ===== Inhalt ===== | ||