conf.researchr.org / 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