TU Darmstadt / ULB / TUbiblio

Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing

Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte
Kouchnarenko, Olga ; Khosravi, Ramtin (eds.) :

Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing.
[Online-Edition: http://dx.doi.org/10.1007/978-3-319-57666-4_5]
In: 13th International Conference on Formal Aspects of Component Software (FACS 2016). Springer International Publishing
[Konferenz- oder Workshop-Beitrag], (2016)

Offizielle URL: http://dx.doi.org/10.1007/978-3-319-57666-4_5
Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2016
Herausgeber: Kouchnarenko, Olga ; Khosravi, Ramtin
Autor(en): Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte
Titel: Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing
Sprache: Englisch
Verlag: Springer International Publishing
Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme
Veranstaltungstitel: 13th International Conference on Formal Aspects of Component Software (FACS 2016)
Hinterlegungsdatum: 18 Apr 2017 08:31
Offizielle URL: http://dx.doi.org/10.1007/978-3-319-57666-4_5
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen