Luthmann, L., S. Mennicke, and M. Lochau,
"Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing",
Formal Aspects of Component Software, Besançon, France, Springer Berlin Heidelberg, 04/2017, 2016.
Abstract
Lohmann, F., K. Neumann, and H. - D. Ehrich,
"Entwurf eines Datenbank-Prototyps für geowissenschaftliche Anwendungen",
Proc GI/SI-Fachtagung ``Datenbanksysteme in Büro, Technik und Wissenschaft'': Springer, Berlin, 1989, pp. 43-57, 1989.
Abstract
Download: 1989BTW.pdf (557.01 KB)