TU Darmstadt / ULB / TUbiblio

Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing

Luthmann, Lars and Mennicke, Stephan and Lochau, Malte
Kouchnarenko, Olga and Khosravi, Ramtin (eds.) (2016):
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing.
Springer International Publishing, In: 13th International Conference on Formal Aspects of Component Software (FACS 2016), ISBN 978-3-319-57666-4,
[Online-Edition: http://dx.doi.org/10.1007/978-3-319-57666-4_5],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2016
Editors: Kouchnarenko, Olga and Khosravi, Ramtin
Creators: Luthmann, Lars and Mennicke, Stephan and Lochau, Malte
Title: Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing
Language: English
Publisher: Springer International Publishing
ISBN: 978-3-319-57666-4
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
Event Title: 13th International Conference on Formal Aspects of Component Software (FACS 2016)
Date Deposited: 18 Apr 2017 08:31
Official URL: http://dx.doi.org/10.1007/978-3-319-57666-4_5
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item