Statistical Model Checking of Distributed Adaptive Real-Time Software - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David Kyle, Jeffery P. Hansen, Sagar Chaki. Statistical Model Checking of Distributed Adaptive Real-Time Software. In Ezio Bartocci, Rupak Majumdar, editors, Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings. Volume 9333 of Lecture Notes in Computer Science, pages 269-274, Springer, 2015. [doi]

This author has not been identified. Look up 'David Kyle' in GoogleThis author has not been identified. Look up 'Jeffery P. Hansen' in GoogleThis author has not been identified. Look up 'Sagar Chaki' in Google

runs on WebDSL