DX 2025 (series) / Martin Sachenbacher
Registered user since Mon 7 Oct 2024
Name:Martin Sachenbacher
Country:Germany
Affiliation:Regensburg University of Applied Sciences
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
DX 2025-profile
View general profile
View general profile