Vorlesungsverzeichnis

19304112

WiSe 14/15: Modelchecking: Projektseminar

Marcel Kyas

Kommentar

Es soll selbständig ein nicht-sequentielles Systems oder ein nicht-sequentieller Algorithmus modelliert, dessen Anforderungen formalisiert und schließlich das Modell bezüglich der Anforderungen mit Hilfe von geeigneten Modellüberprüfern verifiziert werden. Es werden die dazu notwendigen Methoden und Werkzeuge erarbeitet und vorgestellt. Die Ergebnisse werden in einem Bericht zusammengefasst und Vorgetragen und diskutiert. Schließen

14 Termine

Regelmäßige Termine der Lehrveranstaltung

Mo, 12:00 - 14:00 14 Termine

Mo, 27.10.2014 12:00 - 14:00

Dozenten:
Prof. Dr. Marcel Kyas

Räume:
053/T9 Seminarraum (Takustr. 9)

Mo, 03.11.2014 12:00 - 14:00

Dozenten:
Prof. Dr. Marcel Kyas

Räume:
053/T9 Seminarraum (Takustr. 9)

Mo, 10.11.2014 12:00 - 14:00

Dozenten:
Prof. Dr. Marcel Kyas

Räume:
053/T9 Seminarraum (Takustr. 9)

Mo, 17.11.2014 12:00 - 14:00

Dozenten:
Prof. Dr. Marcel Kyas

Räume:
053/T9 Seminarraum (Takustr. 9)

Mo, 24.11.2014 12:00 - 14:00

Dozenten:
Prof. Dr. Marcel Kyas

Räume:
053/T9 Seminarraum (Takustr. 9)

Mo, 01.12.2014 12:00 - 14:00

Dozenten:
Prof. Dr. Marcel Kyas

Räume:
053/T9 Seminarraum (Takustr. 9)

Mo, 08.12.2014 12:00 - 14:00

Dozenten:
Prof. Dr. Marcel Kyas

Räume:
053/T9 Seminarraum (Takustr. 9)

Mo, 15.12.2014 12:00 - 14:00

Dozenten:
Prof. Dr. Marcel Kyas

Räume:
053/T9 Seminarraum (Takustr. 9)

Mo, 05.01.2015 12:00 - 14:00

Dozenten:
Prof. Dr. Marcel Kyas

Räume:
053/T9 Seminarraum (Takustr. 9)

Mo, 12.01.2015 12:00 - 14:00

Dozenten:
Prof. Dr. Marcel Kyas

Räume:
053/T9 Seminarraum (Takustr. 9)

Mo, 19.01.2015 12:00 - 14:00

Dozenten:
Prof. Dr. Marcel Kyas

Räume:
053/T9 Seminarraum (Takustr. 9)

Mo, 26.01.2015 12:00 - 14:00

Dozenten:
Prof. Dr. Marcel Kyas

Räume:
053/T9 Seminarraum (Takustr. 9)

Mo, 02.02.2015 12:00 - 14:00

Dozenten:
Prof. Dr. Marcel Kyas

Räume:
053/T9 Seminarraum (Takustr. 9)

Mo, 09.02.2015 12:00 - 14:00

Dozenten:
Prof. Dr. Marcel Kyas

Räume:
053/T9 Seminarraum (Takustr. 9)

Zur Modulübersicht