Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report
Published in CoRR, 2016
Stephan Mennicke
Research Associate at ICCL, Knowledge-Based Systems Group
- Dresden, Germany
- TU Dresden
- ResearchGate
- Github
- Google Scholar
- ORCID