Best Tool Paper Award für Till Hofmann und Stefan Schupp
17.12.2021
Till Hofmann und Stefan Schupp haben mit ihrem tool paper "TACoS: A Tool for MTL Controller Synthesis" den Best Tool Paper Award bei der 19th International Conference on Software Engineering and Formal Methods gewonnnen.
Beteiligte PhDs |
---|
Stefan Schupp |