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/30 14:44] schlich |
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 ===== | ||
Zeile 13: | Zeile 17: | ||
* Assembler-Code | * Assembler-Code | ||
* C-Code | * C-Code | ||
- | * ggf. MATLAB Modelle | + | * ggf. MATLAB Modelle |
===== Termine ===== | ===== Termine ===== |