Endowed professorship for reliable software systems in the automotive industry

Seminar: Anwendung Formaler Verifikation

  • type: Seminar (S)
  • semester: SS 2019
  • time: 23.04.2019
    13:00 - 14:00 täglich
    50.34 Raum 236
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

  • lecturer: Prof. Dr. Carsten Sinz
    Prof. Dr. Bernhard Beckert
  • sws: 2
  • lv-no.: 2400025
Bemerkungen

Anmeldung:

Persönlich oder per E-Mail bei Simone Meinhart (Raum 223, Geb. 50.34)

Mail: simone.meinhart@kit.edu