TU Darmstadt / ULB / TUbiblio

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

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

Official URL: http://arxiv.org/abs/1606.09035
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:

Optionen (nur für Redakteure)

View Item View Item