Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
|
lehre:sose08:formale_methoden [2009/05/04 12:31] brauer |
lehre:sose08:formale_methoden [2009/05/04 14:04] brauer |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| ====== Formale Methoden für eingebettete Systeme ====== | ====== Formale Methoden für eingebettete Systeme ====== | ||
| + | \\ | ||
| === Ergebnisse der Klausur vom 15.07.2008 === | === Ergebnisse der Klausur vom 15.07.2008 === | ||
| + | \\ | ||
| {| | {| | ||
| |- | |- | ||
| Zeile 108: | Zeile 109: | ||
| \\ | \\ | ||
| === Inhalt === | === Inhalt === | ||
| + | \\ | ||
| Anwendung formaler Methoden in der Entwicklung eingebetteter Systeme:\\ | Anwendung formaler Methoden in der Entwicklung eingebetteter Systeme:\\ | ||
| \\ | \\ | ||
| Zeile 127: | Zeile 128: | ||
| === Termine === | === Termine === | ||
| \\ | \\ | ||
| - | * Vorlesung | + | * Vorlesung: Dienstag 15:45 - 17:15, AH 6 (wöchentlich ab 08.04.2008) und Donnerstag 13:15 - 14:45, AH 3 (zweiwöchentlich ab 10.04.2008) |
| - | * Dienstag 15:45 - 17:15, AH 6 (wöchentlich ab 08.04.2008) | + | * Übung: Donnerstag 13:15 - 14:45, AH 3 (zweiwöchentlich ab 17.04.2008) |
| - | * Donnerstag 13:15 - 14:45, AH 3 (zweiwöchentlich ab 10.04.2008) | + | |
| - | * Übung | + | |
| - | * Donnerstag 13:15 - 14:45, AH 3 (zweiwöchentlich ab 17.04.2008) | + | |
| \\ | \\ | ||
| Änderungen werden im Campus System und im L2P Lernraum bekannt gegeben.\\ | Änderungen werden im Campus System und im L2P Lernraum bekannt gegeben.\\ | ||
| \\ | \\ | ||
| === Übung === | === Übung === | ||
| + | \\ | ||
| Um den Übungsschein zu erwerben | Um den Übungsschein zu erwerben | ||
| \\ | \\ | ||