Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

A. Prasad Sistla, Milos Zefran, Yao Feng. Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State. 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 276-293, Springer, 2011. [doi]

This author has not been identified. Look up 'A. Prasad Sistla' in GoogleThis author has not been identified. Look up 'Milos Zefran' in GoogleThis author has not been identified. Look up 'Yao Feng' in Google

runs on WebDSL