Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

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 12:00]
schlich 		lehre:wise0910:formale_methoden [2009/06/08 22:42]
brauer
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 20: 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.\\ 
 +  * Montag 10:00 - 11:30 AH I 
 +  * 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~~