DX 2026 (series) / Martin Sachenbacher
Registered user since Mon 7 Oct 2024
Name:Martin Sachenbacher
Country:Germany
Affiliation:Technical University of Applied Sciences Regensburg
Personal website: https://informatik-mathematik.oth-regensburg.de/personen/detailansicht/martin-sachenbacher
Research interests:model-based reasoning and diagnosis, formal methods, runtime verification, quantum computing
Contributions
Using general profile