Malte Lochau (1) ((1) Real-Time Systems Lab

Identifiers

• name variant Malte Lochau (1) ((1) Real-Time Systems Lab 0.50 · backfill

Papers (1)

1. Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report cs.LO · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• (2) Institute for Programming 1 shared papers
• Lars Luthmann (1) 1 shared papers
• Reactive Systems 1 shared papers
• Stephan Mennicke (2) 1 shared papers
• TU Braunschweig) 1 shared papers
• TU Darmstadt 1 shared papers