TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 1.
Konferenzveröffentlichung
Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte
Hrsg.: Kouchnarenko, Olga ; Khosravi, Ramtin (2016)
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing.
13th International Conference on Formal Aspects of Component Software (FACS 2016).
Konferenzveröffentlichung, Bibliographie