Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata

  • Veröffentlicht am: 17 Dezember, 2019 - 13:28
TitelCompositional Liveness-Preserving Conformance Testing of Timed I/O Automata
Publication TypeConference Paper
Year of Publication2020
AuthorsLuthmann, L, Göttmann, H, Lochau, M
Conference NameInternational Conference on Formal Spects of Component Software
Undefined