Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie
Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie
Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie
Forschungsgruppe
Lehrveranstaltungen

Übungen zur Vorlesung Model Checking

  • Typ: Übung
  • Lehrstuhl: ITI Sinz
  • Ort:

    Seminarraum -107 (50.34 UG)
  • Zeit:

    Mi. 15:45-17:15
  • Dozent:

    Dr. Olga Tveretina
  • SWS: 1

Übungsblätter