X

Mein(e) Ansprechpartner/-in

Prof. Dr. Matthias Güdemann

Prof. Dr. Matthias Güdemann
Fakultaet 07
Raum: R 4.033
Adresse: 80335 München, Lothstr. 64


Fakultät 07
Tel.: 089 1265-3752
Fax: 089 1265-3780

Aktuelles

Webpage: http://mgu.cs.hm.edu/


Fachgebiete / Schwerpunkte

  • Formale Methoden in der Informatik
  • Formale Spezifikation
  • Formale Verifikation
  • Modelchecking


Funktionen