19304112 Project Seminar

WiSe 14/15: Modelchecking: Projektseminar

Marcel Kyas

Comments

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. close

14 Class schedule

Regular appointments

Mon, 2014-10-27 12:00 - 14:00

Lecturers:
Prof. Dr. Marcel Kyas

Location:
053/T9 Seminarraum (Takustr. 9)

Mon, 2014-11-03 12:00 - 14:00

Lecturers:
Prof. Dr. Marcel Kyas

Location:
053/T9 Seminarraum (Takustr. 9)

Mon, 2014-11-10 12:00 - 14:00

Lecturers:
Prof. Dr. Marcel Kyas

Location:
053/T9 Seminarraum (Takustr. 9)

Mon, 2014-11-17 12:00 - 14:00

Lecturers:
Prof. Dr. Marcel Kyas

Location:
053/T9 Seminarraum (Takustr. 9)

Mon, 2014-11-24 12:00 - 14:00

Lecturers:
Prof. Dr. Marcel Kyas

Location:
053/T9 Seminarraum (Takustr. 9)

Mon, 2014-12-01 12:00 - 14:00

Lecturers:
Prof. Dr. Marcel Kyas

Location:
053/T9 Seminarraum (Takustr. 9)

Mon, 2014-12-08 12:00 - 14:00

Lecturers:
Prof. Dr. Marcel Kyas

Location:
053/T9 Seminarraum (Takustr. 9)

Mon, 2014-12-15 12:00 - 14:00

Lecturers:
Prof. Dr. Marcel Kyas

Location:
053/T9 Seminarraum (Takustr. 9)

Mon, 2015-01-05 12:00 - 14:00

Lecturers:
Prof. Dr. Marcel Kyas

Location:
053/T9 Seminarraum (Takustr. 9)

Mon, 2015-01-12 12:00 - 14:00

Lecturers:
Prof. Dr. Marcel Kyas

Location:
053/T9 Seminarraum (Takustr. 9)

Mon, 2015-01-19 12:00 - 14:00

Lecturers:
Prof. Dr. Marcel Kyas

Location:
053/T9 Seminarraum (Takustr. 9)

Mon, 2015-01-26 12:00 - 14:00

Lecturers:
Prof. Dr. Marcel Kyas

Location:
053/T9 Seminarraum (Takustr. 9)

Mon, 2015-02-02 12:00 - 14:00

Lecturers:
Prof. Dr. Marcel Kyas

Location:
053/T9 Seminarraum (Takustr. 9)

Mon, 2015-02-09 12:00 - 14:00

Lecturers:
Prof. Dr. Marcel Kyas

Location:
053/T9 Seminarraum (Takustr. 9)

Subjects A - Z