25 February 2025 to 1 March 2025
Building 30.95
Europe/Berlin timezone

Model-Based Testing of Quantum Computations

27 Feb 2025, 11:00
22m
Audimax B (Building 30.95)

Audimax B

Building 30.95

Straße am Forum 1, 76131 Karlsruhe, Germany
Talk in EN or DE (15min + 7min) Software Engineering (SE 2025) SE Formal Methods

Speakers

Malte Lochau (University of Siegen) Ina Schaefer (Karlsruhe Institute of Technology)

Presentation materials

There are no materials yet.