Software and Systems Engineering

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

> People

Mario Gleirscher

Research Topics

Teachings & Supervision

Projects

Publications

Mario Gleirscher
Technische Universität München Institut für Informatik Boltzmannstr. 3 85748 Garching Deutschland Tel. +49(89)289-17832 Fax.+49(89)289-17307 gleirsch in.tum.de Büro: MI 00.11.055 Mario Gleirscher ist Mitglied im Kompetenzzentrum Requirements Engineering

Research assistant and doctoral candidate in formal methods in safety assessment and behavioural testing of critical, multifunctional and software-controlled physical systems.