TU Darmstadt / ULB / TUbiblio

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

Luthmann, Lars and Göttmann, Hendrik and Lochau, Malte (2019):
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report.
[Online-Edition: https://arxiv.org/abs/1909.03703],
[Report]

Item Type: Report
Erschienen: 2019
Creators: Luthmann, Lars and Göttmann, Hendrik and Lochau, Malte
Title: Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report
Language: English
Divisions: 18 Department of Electrical Engineering and Information Technology
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering
Date Deposited: 16 Sep 2019 05:53
Official URL: https://arxiv.org/abs/1909.03703
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item