External Links

Cite Key

Statistics

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

PDF

Tags

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.

Sampling-Based Runtime Verification

Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister. Sampling-Based Runtime Verification. In Michael Butler, Wolfram Schulte, editors, FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Volume 6664 of Lecture Notes in Computer Science, pages 88-102, Springer, 2011. [doi]

Authors

Borzoo Bonakdarpour

This author has not been identified. Look up 'Borzoo Bonakdarpour' in Google

Samaneh Navabpour

This author has not been identified. Look up 'Samaneh Navabpour' in Google

Sebastian Fischmeister

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