Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing (bibtex)
by Lars Luthmann, Stephan Mennicke and Malte Lochau
Reference:
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing (Lars Luthmann, Stephan Mennicke and Malte Lochau), In 13th International Conference on Formal Aspects of Component Software, 2016.
Bibtex Entry:
@InProceedings{DBLP:conf/facs2/LuthmannML16,
  Title                    = {Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing},
  Author                   = {Lars Luthmann and Stephan Mennicke and Malte Lochau},
  Booktitle                = {13th International Conference on Formal Aspects of Component Software},
  Year                     = {2016},
  Pages                    = {54--72},

  Doi                      = {10.1007/978-3-319-57666-4_5},
  Url                      = {https://doi.org/10.1007/978-3-319-57666-4_5}
}
Powered by bibtexbrowser