Runtime Verification of Traces under Recording Uncertainty - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, Insup Lee. Runtime Verification of Traces under Recording Uncertainty. In Sarfraz Khurshid, Koushik Sen, editors, Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers. Volume 7186 of Lecture Notes in Computer Science, pages 442-456, Springer, 2011. [doi]

This author has not been identified. Look up 'Shaohui Wang' in GoogleThis author has not been identified. Look up 'Anaheed Ayoub' in GoogleThis author has not been identified. Look up 'Oleg Sokolsky' in GoogleThis author has not been identified. Look up 'Insup Lee' in Google

runs on WebDSL