Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
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 136: | Zeile 137: | ||
\\ | \\ | ||
=== Übung === | === Übung === | ||
+ | \\ | ||
Um den Übungsschein zu erwerben | Um den Übungsschein zu erwerben | ||
\\ | \\ |