Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie

Seminar: Anwendung Formaler Verifikation

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

  • Dozent: Prof. Dr. Carsten Sinz
    Prof. Dr. Bernhard Beckert
  • SWS: 2
  • LVNr.: 2400025
Bemerkungen

Anmeldung:

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

Mail: simone.meinhart@kit.edu