Dies ist eine alte Version des Dokuments!
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:
Dabei werden die formalen Methoden auf unterschiedliche Modelle angewendet. Zu den behandelten Modellen zählen:
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
Um den Übungsschein zu erhalten