Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie

Ü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