TU Darmstadt / ULB / TUbiblio

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

Luthmann, Lars ; Mennicke, Stephan ; 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)

Offizielle URL: http://arxiv.org/abs/1606.09035
Typ des Eintrags: Report
Erschienen: 2016
Autor(en): Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte
Titel: Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report
Sprache: Englisch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: CoRR
Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme
Hinterlegungsdatum: 26 Jan 2017 13:09
Offizielle URL: http://arxiv.org/abs/1606.09035
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen