External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata

Lars Luthmann, Hendrik Göttmann, Malte Lochau. Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata. In Farhad Arbab, Sung-Shik Jongmans, editors, Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings. Volume 12018 of Lecture Notes in Computer Science, pages 147-169, Springer, 2019. [doi]

Authors

Lars Luthmann

This author has not been identified. Look up 'Lars Luthmann' in Google

Hendrik Göttmann

This author has not been identified. Look up 'Hendrik Göttmann' in Google

Malte Lochau

This author has not been identified. Look up 'Malte Lochau' in Google
runs on