Endowed professorship for reliable software systems in the automotive industry
Endowed professorship for reliable software systems in the automotive industry
Endowed professorship for reliable software systems in the automotive industry
Endowed professorship for reliable software systems in the automotive industry
Lehrveranstaltungen

Übungen zur Vorlesung Model Checking

  • type: Exercise
  • chair: ITI Sinz
  • place: seminar room -107
  • time:

    Wed 15:45-17:15
  • lecturer:

    Ph.D. Olga Tveretina
  • sws: 1

Übungsblätter