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 13:04] schlich |
lehre:wise0910:formale_methoden [2009/06/30 14:45] schlich |
||
---|---|---|---|
Zeile 1: | Zeile 1: | ||
====== Formale Methoden für eingebettete Systeme ====== | ====== Formale Methoden für eingebettete Systeme ====== | ||
- | \\ | + | |
===== Inhalt ===== | ===== Inhalt ===== | ||
In dieser Vorlesung werden verschiedene formale Methoden erklärt und es wird gezeigt wie diese in der Entwicklung eingebetteter Systeme verwendet werden können. Zu diesen formalen Methoden zählen: | In dieser Vorlesung werden verschiedene formale Methoden erklärt und es wird gezeigt wie diese in der Entwicklung eingebetteter Systeme verwendet werden können. Zu diesen formalen Methoden zählen: | ||
Zeile 14: | Zeile 14: | ||
* C-Code | * C-Code | ||
* ggf. MATLAB Modelle | * ggf. MATLAB Modelle | ||
- | \\ | ||
===== 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 | + | |
- | \\ | + | |
- | \\ | + | |
===== Übung ===== | ===== Übung ===== | ||
+ | |||
Um den Übungsschein zu erhalten | Um den Übungsschein zu erhalten | ||
* dürfen Sie einen Übungstermin entschuldigt versäumen | * dürfen Sie einen Übungstermin entschuldigt versäumen | ||
* und müssen Sie mindestens einmal mit Ihrer Gruppe eine Lösung präsentieren | * und müssen Sie mindestens einmal mit Ihrer Gruppe eine Lösung präsentieren | ||
* und die Klausur bestehen. | * und die Klausur bestehen. | ||
- | \\ | ||
===== Kontakt ===== | ===== Kontakt ===== | ||
- | \\ | + | |
- | ==== Vorlesung ==== | + | * Vorlesung: [[:lehrstuhl:mitarbeiter:schlich]] |
- | [[:lehrstuhl:mitarbeiter:schlich]] | + | * Übung: [[:lehrstuhl:mitarbeiter:brauer]] |
- | \\ | + | |
- | \\ | + | |
- | ==== Übung ==== | + | |
- | [[:lehrstuhl:mitarbeiter:brauer]] | + | |
- | \\ | + | |
- | \\ | + | |
~~NOTOC~~ | ~~NOTOC~~ |