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.

Runtime Verification for High-Confidence Systems: A Monte Carlo Approach

Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. Smolka, Mike R. True, Erez Zadok. Runtime Verification for High-Confidence Systems: A Monte Carlo Approach. Electronic Notes in Theoretical Computer Science, 164(4):41-52, 2006. [doi]

Authors

Sean Callanan

This author has not been identified. Look up 'Sean Callanan' in Google

Radu Grosu

This author has not been identified. Look up 'Radu Grosu' in Google

Abhishek Rai

This author has not been identified. Look up 'Abhishek Rai' in Google

Scott A. Smolka

This author has not been identified. Look up 'Scott A. Smolka' in Google

Mike R. True

This author has not been identified. Look up 'Mike R. True' in Google

Erez Zadok

This author has not been identified. Look up 'Erez Zadok' in Google
runs on