Publications

Found 1 results
Filters: Autor is Hendrik Göttmann  [Clear All Filters]
2020
L. Luthmann, Göttmann, H., und Lochau, M., Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata, in International Conference on Formal Spects of Component Software, 2020.