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 |
Drucken
Impressum