Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Beide Seiten der vorigen Revision Vorhergehende Überarbeitung
Nächste Überarbeitung Beide Seiten der Revision
lehre:wise0910:formale_methoden [2009/06/08 12:57]
schlich 		lehre:wise0910:formale_methoden [2009/06/08 13:03]
schlich
Zeile 1: Zeile 1:
 ====== Formale Methoden für eingebettete Systeme ====== ====== Formale Methoden für eingebettete Systeme ======
 \\ \\
- 
- 
-===== Aktuelles ===== 
 \\ \\
- 
 ===== 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:
   * Abstrakte Interpretation   * Abstrakte Interpretation
Zeile 23: Zeile 18:
  
 ===== 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
 +  * dürfen Sie einen Übungstermin entschuldigt versäumen
 +  * und müssen Sie mindestens einmal mit Ihrer Gruppe eine Lösung präsentieren
 +  * und die Klausur bestehen.
 \\ \\
  
 ===== Kontakt ===== ===== Kontakt =====
 +\\
 +\\
 +==== Vorlesung ====
 +[[:​lehrstuhl:​mitarbeiter:​schlich]]
 +\\
 +\\
 +==== Übung ====
 +[[:​lehrstuhl:​mitarbeiter:​brauer]]
 +\\
 +\\
  
 ~~NOTOC~~ ~~NOTOC~~