TU Darmstadt / ULB / TUbiblio

Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report

Luthmann, Lars and Mennicke, Stephan and Lochau, Malte (2016):
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report.
[Online-Edition: http://arxiv.org/abs/1606.09035],
[Report]

Item Type: Report
Erschienen: 2016
Creators: Luthmann, Lars and Mennicke, Stephan and Lochau, Malte
Title: Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report
Language: English
Journal or Publication Title: CoRR
Divisions: 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
18 Department of Electrical Engineering and Information Technology
Date Deposited: 26 Jan 2017 13:09
Official URL: http://arxiv.org/abs/1606.09035
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item