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.

Conformance Testing in UPPAAL: A diabolic approach

Emil J. Njor, Florian Lorber, Nikolaj I. Schmidt, Sebastian R. Petersen. Conformance Testing in UPPAAL: A diabolic approach. In 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, Porto, Portugal, October 24-28, 2020. pages 35-42, IEEE, 2020. [doi]

Authors

Emil J. Njor

This author has not been identified. Look up 'Emil J. Njor' in Google

Florian Lorber

This author has not been identified. Look up 'Florian Lorber' in Google

Nikolaj I. Schmidt

This author has not been identified. Look up 'Nikolaj I. Schmidt' in Google

Sebastian R. Petersen

This author has not been identified. Look up 'Sebastian R. Petersen' in Google
runs on