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.

Bayesian Verification under Model Uncertainty

Lenz Belzner, Thomas Gabor. Bayesian Verification under Model Uncertainty. In 3rd IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS@ICSE 2017, Buenos Aires, Argentina, May 21, 2017. pages 10-13, IEEE, 2017. [doi]

Authors

Lenz Belzner

This author has not been identified. Look up 'Lenz Belzner' in Google

Thomas Gabor

This author has not been identified. Look up 'Thomas Gabor' in Google
runs on