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.) :

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
[Conference or Workshop Item] , (2016)

Official URL: http://dx.doi.org/10.1007/978-3-319-57666-4_5
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
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:

Optionen (nur für Redakteure)

View Item View Item