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.

Runtime Verification with Predictive Semantics

Xian Zhang, Martin Leucker, Wei Dong. Runtime Verification with Predictive Semantics. In Alwyn Goodloe, Suzette Person, editors, NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Volume 7226 of Lecture Notes in Computer Science, pages 418-432, Springer, 2012. [doi]

Authors

Xian Zhang

This author has not been identified. Look up 'Xian Zhang' in Google

Martin Leucker

This author has not been identified. Look up 'Martin Leucker' in Google

Wei Dong

This author has not been identified. Look up 'Wei Dong' in Google
runs on