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

TitleCompositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report
Publication TypeMiscellaneous
Year of Publication2016
AuthorsLuthmann, L., S. Mennicke, and M. Lochau
Refereed DesignationNon-Refereed