Teaching

Wednesday, July 18, 2018 - 12:21

The ISP offers a seminar in the field of formal methods next semester (WS 2012/13).

The seminar addresses logic, model- and query checking techniques as tools for the formal specification and analysis of state-based models, e.g. of soft- and hardware systems or business processes.

You can find further information on the seminar web page.

Wednesday, July 18, 2018 - 12:21

Für das Bachelorprojekt im Sommersemester 2012 führen wir nochmals eine Vorbesprechung durch. Alle interessierten Studierenden sind herzlich dazu eingeladen.

Datum:Dienstag, 10. April 2012
Uhrzeit:12.00 Uhr
Raum:ISP Besprechungsraum 108
Subscribe to RSS - Teaching