Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Search this site:
Links
Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Home
› Biblio
Biblio
List
Filter
Export 73 results:
RTF
Tagged
XML
BibTex
Sort by: [
Author
]
Keyword
Title
Type
Year
Filters:
First Letter Of Last Name
is
L
[Clear All Filters]
A
B
C
D
E
F
G
H
I
J
K
[L]
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
[
Show ALL
]
L
Luthmann, L.
,
S. Mennicke
, and
M. Lochau
,
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report
,
, 06/2016.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
Luthmann, L.
,
S. Mennicke
, and
M. Lochau
,
"
Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata
",
International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2016)
, London, UK, EPTCS, 04/2015.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
« first
‹ previous
1
2
3